Function std::bad_exception::~bad_exception()

Type: void()(int)

Member of: std::bad_exception

Locations:

fndecl implemented at /home/visbrero/rev_control/hg/gcc-dehydra/installed/include/c++/4.3.0/exception:76