X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=a0ba84d898c29e09fb4246485a3991cc84b64dec;hb=99732245d610cf363429f1b67a8b2b2e15a9a734;hp=c19a1c78eaade7c0c40e72cfe736d1ac7849b60a;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index c19a1c78ea..a0ba84d898 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -54,7 +54,6 @@
 #include "ui/terminal/terminal-opts.h"
 #include "ui/terminal/terminal-reader.h"
 #include "ui/terminal/terminal.h"
-#include "ui/terminal/terminal-opts.h"
 
 #include "gl/fatal-signal.h"
 #include "gl/progname.h"