X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fhash.c;h=c3a7eb7e59d7c82d5ec2feeda287cdc014b4befb;hb=b411f33060c7401500694c04fd71a8d9d564e7f0;hp=76503664f016816cdd0ac49e9b5bd31ebb8eeed8;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/libpspp/hash.c b/src/libpspp/hash.c
index 76503664f0..c3a7eb7e59 100644
--- a/src/libpspp/hash.c
+++ b/src/libpspp/hash.c
@@ -23,10 +23,11 @@
 #include <assert.h>
 #include <ctype.h>
 #include <limits.h>
+#include <stdbool.h>
 #include <stdlib.h>
 #include "array.h"
 #include "alloc.h"
-#include <stdbool.h>
+#include "compiler.h"
 #include "misc.h"
 #include "str.h"
 
@@ -566,7 +567,7 @@ hsh_count (struct hsh_table *h)
 
 /* Debug helpers. */
 
-#if GLOBAL_DEBUGGING
+#if DEBUGGING
 #undef NDEBUG
 #include "message.h"
 #include <stdio.h>