# HG changeset patch
# User jwe
# Date 774048723 0
# Node ID 20d2061944ee422bd60d425dc5bc07db39719789
# Parent  3c95cec7dd0542f4bbd6f4655e229842da007a4f
[project @ 1994-07-12 21:32:03 by jwe]

diff --git a/src/error.cc b/src/error.cc
--- a/src/error.cc
+++ b/src/error.cc
@@ -113,7 +113,6 @@
   verror ("panic", fmt, args);
   va_end (args);
   abort ();
-  exit (1);
 }
 
 /*