X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=955a6b0e9c7fda53e2daa1a9b67e9b528f2189bd;hb=dfd1972f7bcb550a4fc3b05dbe7e71d12334b0a7;hp=d2ddc6eeffa2b611f9d524d5b13fb8453d4dcb9e;hpb=c9a3c45e44c1c03d13d4eb186e3817bc836f75f8;p=pspp
diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index d2ddc6eeff..955a6b0e9c 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -15,27 +15,33 @@
along with this program. If not, see . */
#include
+
+#include "terminal-opts.h"
+
#include
#include
#include
#include
+
#include
-#include