X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=7ad162fca6d40b746a0155d891d8e08784e2e4df;hb=bd17d2af982332ee1791998361b1ac6731fe14fa;hp=af8f7f2dd4df9828361a1dccfdb54d09473875b9;hpb=6c547fbd903690cc0e770ed9ffe78189b42de58a;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index af8f7f2d..7ad162fc 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -57,6 +57,7 @@
 
 #include "fatal-signal.h"
 #include "progname.h"
+#include "relocatable.h"
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
@@ -166,6 +167,7 @@ main (int argc, char **argv)
   return any_errors ();
 }
 
+
 static void
 fpu_init (void)
 {