X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falloc.h;h=c1148413f3bf7e66b372be33aa587209d9a212dd;hb=27b7805829c01dec0507bc2afac9c6bfbf25c957;hp=979d2da074e577843376b62d5d0224f98543269e;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/alloc.h b/src/alloc.h
index 979d2da074..c1148413f3 100644
--- a/src/alloc.h
+++ b/src/alloc.h
@@ -23,10 +23,7 @@
 #include <stddef.h>
 
 /* malloc() wrapper functions. */
-void *xmalloc (size_t size);
-void *xcalloc (size_t size);
-void *xrealloc (void *ptr, size_t size);
-char *xstrdup (const char *s);
+#include "xalloc.h"
 void out_of_memory (void) NO_RETURN;
 
 /* alloca() wrapper functions. */