X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcount.c;h=7c0420def0401f8540bad79c90777420a410a2b8;hb=b26094b483f97d89025df65a30523a65e716790a;hp=bbb41e55709828686c15f318331c8002086a653a;hpb=b18e1b9c95a478d434e9fcef9d8579d0b96b9a8d;p=pspp

diff --git a/src/count.c b/src/count.c
index bbb41e5570..7c0420def0 100644
--- a/src/count.c
+++ b/src/count.c
@@ -56,8 +56,6 @@
    Perhaps simultaneity could be implemented as an option.  On the
    other hand, what good are the above commands?  */
 
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
 #include "debug-print.h"
 
 /* Definitions. */