X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;h=5309c729efa77c2f5ce66cf1e9521a64fc16489d;hb=beb8fa86aba2a20e9fa9884a709c0383cc7a1f06;hp=3150c9056b2eb8c91b42662fddf2c590263a9455;hpb=4f69eb6fd58cbcd46e1f9700e9e4239e6afaf541;p=pspp

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index 3150c9056b..5309c729ef 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -26,6 +26,7 @@
 #include "libpspp/temp-file.h"
 #include "libpspp/str.h"
 
+#include "gl/xalloc-oversized.h"
 #include "gl/xalloc.h"
 
 /* Fast, low-overhead memory block suballocator. */