X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=f2b01fe195522cdf0467ae65f1d2e515c8371b16;hb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;hp=daa866b356110fbc74f4ec313047b1bad8782d14;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp-builds.git

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index daa866b3..f2b01fe1 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -21,6 +21,7 @@
 #define pool_h 1
 
 #include <stdio.h>
+#include "compiler.h"
 
 /* Maximum size of a suballocated block.  Larger blocks are allocated
    directly with malloc() to avoid memory wastage at the end of a
@@ -91,7 +92,7 @@ int pool_unregister (struct pool *, void *);
 void pool_mark (struct pool *, struct pool_mark *);
 void pool_release (struct pool *, const struct pool_mark *);
 
-#if GLOBAL_DEBUGGING
+#if DEBUGGING
 void pool_dump (const struct pool *, const char *title);
 #endif