diff -r 467738a90242 -r 6663a569244d src/main.c
--- 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;