X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata-in.c;h=95da2eed33d4aae4800570894c5c8305ec271dec;hb=2ed139f9baf695edf0300f272a31d3ef98038521;hp=9259a274b56aac88adbafc70ee3b62d1088d925b;hpb=b18e1b9c95a478d434e9fcef9d8579d0b96b9a8d;p=pspp

diff --git a/src/data-in.c b/src/data-in.c
index 9259a274b5..95da2eed33 100644
--- a/src/data-in.c
+++ b/src/data-in.c
@@ -36,8 +36,6 @@
 #include "str.h"
 #include "var.h"
 
-#undef DEBUGGING
-/*#define DEBUGGING 1 */
 #include "debug-print.h"