X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=955a6b0e9c7fda53e2daa1a9b67e9b528f2189bd;hb=ef1c533e8f71be42b019cdbf4c5791b6bcd2d476;hp=d2ddc6eeffa2b611f9d524d5b13fb8453d4dcb9e;hpb=9e0e4996fad6563f0a1ce628b80db5c23ef8279e;p=pspp-builds.git
diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index d2ddc6ee..955a6b0e 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