X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=f7ec11520a95a573bf07a59088d545b373185dc0;hb=5882d195ad6891b87dba6ded8a5caa1a949f165f;hp=fdbca25a2f61f76fbb407e02cc5cf8bd069b0512;hpb=3a3d58adab4724bc9f63a130d5b02f2c7c2c2251;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index fdbca25a2f..f7ec11520a 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -33,7 +33,6 @@
 #include "data/dataset.h"
 #include "data/dictionary.h"
 #include "data/file-handle-def.h"
-#include "data/file-name.h"
 #include "data/session.h"
 #include "data/settings.h"
 #include "data/variable.h"