X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fterminal%2Fmain.c;h=69a7b12bc2bdb05ec983812027d855bda6851295;hb=d8dd3a226c9b963314bbe6a2ed2cf74714072c77;hp=84cd2a6d562253432735c453b0aed506f36e9a10;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 84cd2a6d56..69a7b12bc2 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -55,8 +55,6 @@
 
 #include <stdlib.h>
 
-#include <libpspp/debug-print.h>
-
 static void i18n_init (void);
 static void fpu_init (void);
 static void handle_error (int code);