X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=c5f5b4d4576934b8a9a315afbd92f7ece59f0b08;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=baa24d303fdc3bbac4f68266f247d98fa06c1ad7;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/ui/source-init-opts.c b/src/ui/source-init-opts.c
index baa24d303f..c5f5b4d457 100644
--- a/src/ui/source-init-opts.c
+++ b/src/ui/source-init-opts.c
@@ -88,7 +88,7 @@ source_init_option_callback (int id, void *aux UNUSED)
       break;
 
     case OPT_SYNTAX:
-      if (!strcmp (optarg, "compatible") )
+      if (!strcmp (optarg, "compatible"))
 	settings_set_syntax (COMPATIBLE);
       else if (!strcmp (optarg, "enhanced"))
 	settings_set_syntax (ENHANCED);