workaround for warning 'deleting object of polymorphic class type boost::error_info...

git-svn-id: https://svn.dealii.org/trunk@27992 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/contrib/boost-1.49.0/include/boost/exception/detail/error_info_impl.hpp b/deal.II/contrib/boost-1.49.0/include/boost/exception/detail/error_info_impl.hpp
index 883d313a98fd85b875b64dbc1e2ea8f8e034ec05..f432aabbf60e1ce5102c165d7f1c45c931dff122 100644 (file)
--- a/deal.II/contrib/boost-1.49.0/include/boost/exception/detail/error_info_impl.hpp
+++ b/deal.II/contrib/boost-1.49.0/include/boost/exception/detail/error_info_impl.hpp
@@ -30,7 +30,7 @@ boost
 
             protected:
 
-            ~error_info_base() throw()
+            virtual ~error_info_base() throw()
                 {
                 }
             };