Mark throw_exception with BOOST_NORETURN. Closes #12.

This commit is contained in:
Peter Dimov
2019-06-03 03:06:40 +03:00
parent 50c34dee24
commit 1e507924ce
3 changed files with 33 additions and 39 deletions

View File

@ -54,7 +54,7 @@ namespace boost
{
#ifdef BOOST_NO_EXCEPTIONS
void throw_exception( std::exception const & e ); // user defined
BOOST_NORETURN void throw_exception( std::exception const & e ); // user defined
#else