src/main.c

changeset 5995
6663a569244d
parent 5974
00c68435d9f3
child 5996
14db7c704b2b
--- a/src/main.c	Wed Jul 02 21:26:53 2003 +0000
+++ b/src/main.c	Wed Jul 02 21:27:30 2003 +0000
@@ -484,7 +484,7 @@
 #else
 		fprintf(stderr, "Oh no!  Segmentation fault!\n");
 		/*g_on_error_query (g_get_prgname());*/
-		exit(1);
+		abort();
 #endif
 		abort();
 		break;

mercurial