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