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

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