X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=baa24d303fdc3bbac4f68266f247d98fa06c1ad7;hb=52e144652645cab108fb2db0a970f1ace2cbf2ea;hp=d55a2d5d9fb246f66779ff86d178924639c3da93;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/src/ui/source-init-opts.c b/src/ui/source-init-opts.c
index d55a2d5d9f..baa24d303f 100644
--- a/src/ui/source-init-opts.c
+++ b/src/ui/source-init-opts.c
@@ -22,7 +22,6 @@
 #include <stdlib.h>
 #include <string.h>
 
-#include "data/file-name.h"
 #include "data/settings.h"
 #include "language/lexer/include-path.h"
 #include "language/lexer/lexer.h"