X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=69a7b12bc2bdb05ec983812027d855bda6851295;hb=77e551d23575da6b89f866612ab39c2b0497c9be;hp=84cd2a6d562253432735c453b0aed506f36e9a10;hpb=416f7c47be6ede7e6aaf6194e00ba9432097dfd3;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 84cd2a6d..69a7b12b 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);