X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.c;h=88d3535df140e6648f025de4076be66bc466ce06;hb=5e1469fde0a9b5bd3fefe52d7d8379b7379a618b;hp=ecf263abcda8ec26324b25bb46b0045cf161e336;hpb=9f087e7aa4cdff1d5d46d5e188c0017a9d2d0029;p=pspp-builds.git

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