X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=4464296498de8674ecdeb208714691efcc443252;hb=5204698c0d3a9bd3786d8bd19eba2a1ddbbb4311;hp=5bf8b5ce85b41cfaec743a720ddb52c39214997c;hpb=140c1f9a6efdfc35ad43b94723a69cbd576c6cd5;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index 5bf8b5ce85..4464296498 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -24,7 +24,6 @@
 
 
 #include "data/settings.h"
-#include "data/file-name.h"
 #include "language/lexer/include-path.h"
 #include "libpspp/argv-parser.h"
 #include "libpspp/assertion.h"
@@ -146,7 +145,6 @@ get_supported_formats (void)
   struct string_set format_set;
   char *format_string;
   const char *format;
-  size_t i;
 
   /* Get supported formats as unordered set. */
   string_set_init (&format_set);
@@ -302,7 +300,7 @@ terminal_opts_init (struct argv_parser *ap,
   return to;
 }
 
-/* Return true iff the terminal appears to be an xterm with 
+/* Return true iff the terminal appears to be an xterm with
    UTF-8 capabilities */
 static bool
 term_is_utf8_xterm (void)
@@ -328,7 +326,7 @@ terminal_opts_done (struct terminal_opts *to, int argc, char *argv[])
 	{
 	  string_map_insert (&to->options, "box", "unicode");
 	}
-  
+
       string_map_insert (&to->options, "output-file", "-");
       string_map_insert (&to->options, "format", "txt");
       register_output_driver (to);