X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flexer.c;h=e72f7f1bc6f11ac5e5efde7123751ba5d2c47b54;hb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;hp=97e6510103447c96b5aca6ee8806967ae59aa7b6;hpb=92bfefccd465052e492f669ce561aa25b0110283;p=pspp-builds.git

diff --git a/src/lexer.c b/src/lexer.c
index 97e65101..e72f7f1b 100644
--- a/src/lexer.c
+++ b/src/lexer.c
@@ -1237,4 +1237,4 @@ dump_token (void)
       break;
     }
 }
-#endif /* DEBUGGING */
+#endif /* DUMP_TOKENS */