X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=3f519e5e0f6974ab477b1d01c268a111a0083660;hb=fcb9e49b2a2d57af7c001ae5d2eda9ac443ba36b;hp=e0f7f6a73b431efbe1bcc72830fcf9ba02a64f0a;hpb=f10ed4942f0f2253d236d5e454a8ab702ed7e72b;p=pspp-builds.git

diff --git a/src/main.c b/src/main.c
index e0f7f6a7..3f519e5e 100644
--- a/src/main.c
+++ b/src/main.c
@@ -28,8 +28,6 @@
 
 #include <stdlib.h>
 
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
 #include "debug-print.h"
 
 static void parse_script (void) __attribute__ ((noreturn));