X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=c5f5b4d4576934b8a9a315afbd92f7ece59f0b08;hb=refs%2Fheads%2Fctables7;hp=d55a2d5d9fb246f66779ff86d178924639c3da93;hpb=63c7521729b947ace9e192dff9330813ecfb5812;p=pspp diff --git a/src/ui/source-init-opts.c b/src/ui/source-init-opts.c index d55a2d5d9f..c5f5b4d457 100644 --- a/src/ui/source-init-opts.c +++ b/src/ui/source-init-opts.c @@ -22,7 +22,6 @@ #include #include -#include "data/file-name.h" #include "data/settings.h" #include "language/lexer/include-path.h" #include "language/lexer/lexer.h" @@ -89,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);