X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=a0ba84d898c29e09fb4246485a3991cc84b64dec;hb=5cc2cda74d0ff94d558afe5debc6ea17d898e858;hp=c19a1c78eaade7c0c40e72cfe736d1ac7849b60a;hpb=e195fccfab97205acb29f90fd1168488d49f1573;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"