id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
4064,std::bad_cast should be thrown with BOOST_THROW_EXCEPTION,Andreas Huber,Andreas Huber,"Also, other try/catch/throw statements should be put into appropriate #ifndef blocks.

Reported by Thomas Mathys.",Bugs,assigned,Boost 1.46.0,statechart,Boost 1.42.0,Cosmetic,,,