From 97605056eda7d1520a1901030103491820cb2543 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Mon, 2 Dec 2002 12:12:42 +0000
Subject: [PATCH] Added a note that throw_exception must not return (Beman
 Dawes)

[SVN r16471]
---
 throw_exception.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 @@
 		</p>
 		<P>When <STRONG>BOOST_NO_EXCEPTIONS</STRONG> is not defined, <tt>boost::throw_exception(e)</tt>
 			is equivalent to <tt>throw e</tt>. Otherwise, the function is left undefined, 
-			and the user is expected to supply an appropriate definition.</P>
+			and the user is expected to supply an appropriate definition. Callers of <tt>throw_exception</tt>
+			are allowed to assume that the function never returns; therefore, if the 
+			user-defined <tt>throw_exception</tt> returns, the behavior is undefined.</P>
 		<h3><a name="Synopsis">Synopsis</a></h3>
 		<pre>
 namespace boost