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