X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fmisc%2Falloca.c;h=515f6e612989259c90d4824a6d78c736e4ded36b;hb=14e7292894533c5491a774a2d749386362660812;hp=6d12bd0e75d2656b2df2181ee81fe541d7bc091a;hpb=3d692f50d5cbb83eb0f0787bee20c5c49ef42050;p=pspp

diff --git a/lib/misc/alloca.c b/lib/misc/alloca.c
index 6d12bd0e75..515f6e6129 100644
--- a/lib/misc/alloca.c
+++ b/lib/misc/alloca.c
@@ -33,6 +33,7 @@
 
 #include <config.h>
 #include <stdlib.h>
+#include "alloc.h"
 
 typedef void *pointer;		/* generic pointer type */
 #define	NULL	0		/* null pointer constant */