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

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index a1f20169..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)
@@ -119,7 +120,7 @@ main (int argc, char **argv)
 				      _("Options affecting input and output locations:"), the_source_stream);
 
   command_line_processor_add_options (clp, &test_argp,
-				      _("Diagnositic options:"), the_source_stream);
+				      _("Diagnostic options:"), the_source_stream);
 
   command_line_processor_add_options (clp, &post_init_argp,
 				      _("Options affecting syntax and behavior:"), the_source_stream);
@@ -166,6 +167,7 @@ main (int argc, char **argv)
   return any_errors ();
 }
 
+
 static void
 fpu_init (void)
 {