--- boost/serialization/smart_cast.hpp.org 2012-09-19 10:51:10.281911908 -0400 +++ boost/serialization/smart_cast.hpp 2012-09-19 10:51:34.369912356 -0400 @@ -159,7 +159,7 @@ static T cast(U * u){ T tmp = dynamic_cast< T >(u); #ifndef NDEBUG - if ( tmp == 0 ) throw std::bad_cast(); + if ( tmp == 0 ) throw_exception(std::bad_cast()); #endif return tmp; } @@ -201,7 +201,7 @@ static T cast(U * u){ T tmp = dynamic_cast< T >(u); #ifndef NDEBUG - if ( tmp == 0 ) throw std::bad_cast(); + if ( tmp == 0 ) throw_exception(std::bad_cast()); #endif return tmp; }