X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fpool.h;h=f2b01fe195522cdf0467ae65f1d2e515c8371b16;hb=5fd22ca7771c8175ef05e91e1194c3c4096337f4;hp=4f33dfa0d09a888bc3c0e2763f48968704850de9;hpb=2322678e8fddbbf158b01b2720db2636404bba3b;p=pspp-builds.git

diff --git a/src/libpspp/pool.h b/src/libpspp/pool.h
index 4f33dfa0..f2b01fe1 100644
--- a/src/libpspp/pool.h
+++ b/src/libpspp/pool.h
@@ -92,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