Index: boost/exception/enable_current_exception.hpp
===================================================================
--- boost/exception/enable_current_exception.hpp	(Revision 48136)
+++ boost/exception/enable_current_exception.hpp	(Arbeitskopie)
@@ -32,6 +32,9 @@
             public clone_base,
             public std::bad_alloc
             {
+            ~bad_alloc_impl() throw()
+                {
+                }
             void
             add_ref() const
                 {