X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=b8cabb3acb0fff818faf3e1de71766309b21f7ce;hb=f1861ea4c715dfaddd84ff14be2ab92b13379014;hp=673b88b199e07079e168a5161b45e9d89e2c3770;hpb=9b94efd7513afdb12a6023024e00e50801532fee;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 673b88b1..b8cabb3a 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -34,7 +34,6 @@
 #include <data/file-handle-def.h>
 #include <libpspp/getl.h>
 #include <data/file-name.h>
-#include <data/format.h>
 #include <data/procedure.h>
 #include <data/settings.h>
 #include <data/variable.h>