X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Falloc.h;h=b1b1cc5ea249ea7fb43ac30379352bead32c76f0;hb=1d985886f778e35f8d89c4e3c897b79fde8de6ed;hp=b1b34d0fec11e452f1a2e049ed0caf0383f6b8a0;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp-builds.git

diff --git a/src/alloc.h b/src/alloc.h
index b1b34d0f..b1b1cc5e 100644
--- a/src/alloc.h
+++ b/src/alloc.h
@@ -27,10 +27,13 @@ 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)
+#ifdef HAVE_ALLOCA_H
 #include <alloca.h>
+#endif
 #define local_alloc(X) alloca (X)
 #define local_free(P) ((void) 0)
 #else