Added a --enable-debug option to configure and

[pspp] / src / alloc.c

diff --git a/src/alloc.c b/src/alloc.c
index 763dab3d720ecbf482e94757ca41dad6b621b7bd..0dc815f71de75d8beb99abd8b29c13cffd8f6ffe 100644 (file)
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -112,11 +112,6 @@ xstrdup (const char *s)
 static void
 out_of_memory (void)
 {
-#if __CHECKER__
-  fprintf (stderr, "Out of memory: inducing segfault\n");
-  *((int *) 0) = 0;
-#else
   fprintf (stderr, "virtual memory exhausted\n");
   exit (EXIT_FAILURE);
-#endif
 }