X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;h=88d3535df140e6648f025de4076be66bc466ce06;hb=3bfe739c926ff5729b0f7849d49b79d65a9d0c91;hp=896a27ed21703538b4bbf2a727c6de8075f20c44;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp-builds.git

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index 896a27ed..88d3535d 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -16,13 +16,14 @@
 
 #include <config.h>
 #include "pool.h"
+#include <stdint.h>
 #include <stdlib.h>
-#include "alloc.h"
 #include <libpspp/assertion.h>
 #include "message.h"
-#include "size_max.h"
 #include "str.h"
 
+#include "xalloc.h"
+
 /* Fast, low-overhead memory block suballocator. */
 struct pool
   {