X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falloc.h;h=b1b1cc5ea249ea7fb43ac30379352bead32c76f0;hb=f1696fab032a5ae5c44e3a3dedba343fce9ffd5c;hp=b44f0f38b51ba8cbe8cc9e23c8c0beceed7b764e;hpb=bd244987b9175ae3edf7c5f7417340a0a37427a8;p=pspp

diff --git a/src/alloc.h b/src/alloc.h
index b44f0f38b5..b1b1cc5ea2 100644
--- a/src/alloc.h
+++ b/src/alloc.h
@@ -27,6 +27,7 @@ void *xmalloc (size_t size);
 void *xcalloc (size_t size);
 void *xrealloc (void *ptr, size_t size);
 char *xstrdup (const char *s);
+void out_of_memory (void) NO_RETURN;
 
 /* alloca() wrapper functions. */
 #if defined (HAVE_ALLOCA) || defined (C_ALLOCA)