X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=baa24d303fdc3bbac4f68266f247d98fa06c1ad7;hb=5882d195ad6891b87dba6ded8a5caa1a949f165f;hp=d55a2d5d9fb246f66779ff86d178924639c3da93;hpb=3a3d58adab4724bc9f63a130d5b02f2c7c2c2251;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"