X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdo-if.c;h=73fc057c037ac6ad15f383bb3ed432adf7622957;hb=29c51e39acf3554a56aa2adc9451cc5fd70318ae;hp=6f9aa507ed5ecada4516e8a13622df036f5fa103;hpb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;p=pspp-builds.git

diff --git a/src/do-if.c b/src/do-if.c
index 6f9aa507..73fc057c 100644
--- a/src/do-if.c
+++ b/src/do-if.c
@@ -31,10 +31,6 @@
 
 #include "debug-print.h"
 
-#if DEBUGGING
-#include <stdio.h>
-#endif
-
 /* *INDENT-OFF* */
 /* Description of DO IF transformations: