X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=db81e6b7de2301c962744fd9b6e5b9109cced427;hb=26abd623201f0fc5fb55c2314f695c22e1435dce;hp=5bf8b5ce85b41cfaec743a720ddb52c39214997c;hpb=140c1f9a6efdfc35ad43b94723a69cbd576c6cd5;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index 5bf8b5ce85..db81e6b7de 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -24,7 +24,6 @@
 
 
 #include "data/settings.h"
-#include "data/file-name.h"
 #include "language/lexer/include-path.h"
 #include "libpspp/argv-parser.h"
 #include "libpspp/assertion.h"