diff --git a/throw_exception.html b/throw_exception.html index bba2c5c..6751fd9 100644 --- a/throw_exception.html +++ b/throw_exception.html @@ -28,7 +28,9 @@
When BOOST_NO_EXCEPTIONS is not defined, boost::throw_exception(e) is equivalent to throw e. Otherwise, the function is left undefined, - and the user is expected to supply an appropriate definition.
+ and the user is expected to supply an appropriate definition. Callers of throw_exception + are allowed to assume that the function never returns; therefore, if the + user-defined throw_exception returns, the behavior is undefined.namespace boost