X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FexprP.h;h=2cbbbabf1d3095279657cfeebe4f42cca349c5f3;hb=ff2389320fc25c3598a2fa75ea30f50f260b3ba6;hp=40033a95b73ed5f1d12d5c7f9475a40bd703b58f;hpb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;p=pspp

diff --git a/src/exprP.h b/src/exprP.h
index 40033a95b7..2cbbbabf1d 100644
--- a/src/exprP.h
+++ b/src/exprP.h
@@ -20,8 +20,6 @@
 #if !exprP_h
 #define exprP_h 1
 
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
 #include "debug-print.h"
 
 void debug_print_op (short int *);