namespace __gnu_cxx
{
/** A replacement for the standard terminate_handler which prints more
- information about the terminating exception (if any) on stderr. */
- void verbose_terminate_handler ();
+ information about the terminating exception (if any) on stderr.
+
+ std::set_terminate (__gnu_cxx::__verbose_terminate_handler)
+
+ to use. */
+ void __verbose_terminate_handler ();
} // namespace __gnu_cxx
} // extern "C++"