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

diff --git a/src/libpspp/hash.c b/src/libpspp/hash.c
index fcf2b1f9..c3a7eb7e 100644
--- a/src/libpspp/hash.c
+++ b/src/libpspp/hash.c
@@ -567,7 +567,7 @@ hsh_count (struct hsh_table *h)
 
 /* Debug helpers. */
 
-#if GLOBAL_DEBUGGING
+#if DEBUGGING
 #undef NDEBUG
 #include "message.h"
 #include <stdio.h>