X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=7712df83d903cb81c578a9fbdee5f1ad0b52e97e;hb=2322678e8fddbbf158b01b2720db2636404bba3b;hp=0a09cda97c71d27200f2802fd2a53804f04c0847;hpb=2048ef1bcb81fa766ccff3bb1cf30a886316983c;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 0a09cda9..7712df83 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -23,6 +23,7 @@
 #include <stdio.h>
 #include "command-line.h"
 #include "command.h"
+#include "compiler.h"
 #include "dictionary.h"
 #include "message.h"
 #include "file-handle-def.h"