X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=4464296498de8674ecdeb208714691efcc443252;hb=259b5c32c06fd93964720f4a0e7844b5a24c55db;hp=db81e6b7de2301c962744fd9b6e5b9109cced427;hpb=5882d195ad6891b87dba6ded8a5caa1a949f165f;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index db81e6b7de..4464296498 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -145,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);
@@ -301,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)
@@ -327,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);