diff src/toplev.cc @ 4181:dd2abf428f5d

[project @ 2002-11-15 18:33:41 by jwe]
author jwe
date Fri, 15 Nov 2002 18:33:41 +0000
parents 84fe3ca3a246
children 4d1d7c51205c
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -191,7 +191,7 @@
 	  recover_from_exception ();
 	  std::cout << "\n";
 	}
-      catch (bad_alloc)
+      catch (std::bad_alloc)
 	{
 	  recover_from_exception ();
 	  std::cerr