diff src/error.cc @ 240:a99f28f5e351

[project @ 1993-11-30 20:24:36 by jwe]
author jwe
date Tue, 30 Nov 1993 20:24:36 +0000
parents de0e58f9b064
children f7314b67a142
line wrap: on
line diff
--- a/src/error.cc	Tue Nov 30 20:24:36 1993 +0000
+++ b/src/error.cc	Tue Nov 30 20:24:36 1993 +0000
@@ -21,8 +21,8 @@
 
 */
 
-#ifdef __GNUG__
-#pragma implementation
+#ifdef HAVE_CONFIG_H
+#include "config.h"
 #endif
 
 #include <stdio.h>
@@ -97,6 +97,7 @@
   verror ("panic", fmt, args);
   va_end (args);
   abort ();
+  exit (1);
 }
 
 /*