X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fterminal%2Fmain.c;h=7ad162fca6d40b746a0155d891d8e08784e2e4df;hb=bd17d2af982332ee1791998361b1ac6731fe14fa;hp=a1f201697193e04282e5726fc3b4493050fecbb1;hpb=14aac9fe7a7efbb6c9bded2ed5969a643cb76645;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)
 {