7 Dec
2005
7 Dec
'05
9:38 p.m.
....make that template <typename X> bool checked_throw( const X& x ) { if( !pre_exception(x) ) throw x; return true; }