X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcase.c;h=1384791c82665c359eb3755e37516641c41f788d;hb=92fb12eb06716d14c05b781f5d9dcde956d77c30;hp=fee69d4d2b24056d9f7351b97df88e9df0b6ae8f;hpb=eeaa200a245eb4aba3a70534a198bb919c0e35c3;p=pspp

diff --git a/src/case.c b/src/case.c
index fee69d4d2b..1384791c82 100644
--- a/src/case.c
+++ b/src/case.c
@@ -92,7 +92,7 @@ void
 case_create (struct ccase *c, size_t value_cnt) 
 {
   if (!case_try_create (c, value_cnt))
-    out_of_memory ();
+    xalloc_die ();
 }
 
 #ifdef GLOBAL_DEBUGGING