X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.c;h=4464296498de8674ecdeb208714691efcc443252;hb=bf62643ef9f4f991acd777b26aa747adc7886d8f;hp=3362299ce5890efeb47e7f16cd80e1f79d0eeb20;hpb=51875a2b8a221da2a36b1a204dc19e4ac1cd25f4;p=pspp

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index 3362299ce5..4464296498 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -300,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)
@@ -326,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);