changeset 514:20d2061944ee

[project @ 1994-07-12 21:32:03 by jwe]
author jwe
date Tue, 12 Jul 1994 21:32:03 +0000
parents 3c95cec7dd05
children e078f05f4aac
files src/error.cc
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/error.cc	Tue Jul 12 19:55:11 1994 +0000
+++ b/src/error.cc	Tue Jul 12 21:32:03 1994 +0000
@@ -113,7 +113,6 @@
   verror ("panic", fmt, args);
   va_end (args);
   abort ();
-  exit (1);
 }
 
 /*