X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fmisc%2Falloca.c;h=515f6e612989259c90d4824a6d78c736e4ded36b;hb=1a9d3c43ecae725e30a2cdaf8e3b6612a1107b37;hp=be1f0c423df7a118ab88c37e43344adaa9cb7a71;hpb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;p=pspp

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