vterminate.cc (__verbose_terminate_handler): Add leading underscores.

* src/vterminate.cc (__verbose_terminate_handler): Add leading
        underscores.

From-SVN: r47292

libstdc++-v3/ChangeLog

@@ -1,3 +1,8 @@
+2001-11-23  Jason Merrill  <jason@redhat.com>
+
+	* src/vterminate.cc (__verbose_terminate_handler): Add leading
+	underscores.
+
 2001-11-23  Joseph S. Myers  <jsm28@cam.ac.uk>
 
 	* ChangeLog, docs/doxygen/maint.cfg.in, docs/doxygen/user.cfg.in,

libstdc++-v3/libsupc++/exception

@@ -98,8 +98,12 @@ namespace std
 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++"

libstdc++-v3/src/vterminate.cc

@@ -39,9 +39,9 @@ using namespace abi;
 namespace __gnu_cxx
 {
 
-/** This is a replacement for the standard terminate_handler which prints
-    more information about the terminating exception (if any) on stderr.  */
-void verbose_terminate_handler ()
+/* A replacement for the standard terminate_handler which prints
+   more information about the terminating exception (if any) on stderr.  */
+void __verbose_terminate_handler ()
 {
   // Make sure there was an exception; terminate is also called for an
   // attempt to rethrow when there is no suitable exception.