X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falloc.c;h=0dc815f71de75d8beb99abd8b29c13cffd8f6ffe;hb=fcb9e49b2a2d57af7c001ae5d2eda9ac443ba36b;hp=763dab3d720ecbf482e94757ca41dad6b621b7bd;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/alloc.c b/src/alloc.c
index 763dab3d72..0dc815f71d 100644
--- 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
 }