diff src/utils.cc @ 2985:aa9d0c0e0458

[project @ 1997-05-16 06:54:18 by jwe]
author jwe
date Fri, 16 May 1997 06:55:52 +0000
parents 66ef74ee5d9f
children 38de16594cb4
line wrap: on
line diff
--- a/src/utils.cc	Fri May 16 05:14:34 1997 +0000
+++ b/src/utils.cc	Fri May 16 06:55:52 1997 +0000
@@ -88,7 +88,7 @@
 extern "C" void
 jump_to_top_level (void)
 {
-  run_all_unwind_protects ();
+  unwind_protect::run_all ();
 
   longjmp (toplevel, 1);
 }