Fix options messages that were inverted (#4734)

diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml
index c26622fef70c52fb47e32d7abee3525879bd34c2..5f70aee43b66d4ff89a082c1fd699042e8559fc5 100644 (file)
--- a/src/options/expr_options.toml
+++ b/src/options/expr_options.toml
@@ -42,4 +42,4 @@ header = "options/expr_options.h"
   type       = "bool"
   default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
   read_only  = true
-  help       = "never type check expressions"
+  help       = "type check expressions"

diff --git a/src/options/parser_options.toml b/src/options/parser_options.toml
index 72c7b51a05d51dfaffa61037dadc4421d5d20c71..afec2ce48e272eb3bf2ccf85852a3b8cb07d07ce 100644 (file)
--- a/src/options/parser_options.toml
+++ b/src/options/parser_options.toml
@@ -25,7 +25,7 @@ header = "options/parser_options.h"
   type       = "bool"
   default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
   read_only  = true
-  help       = "disable ALL semantic checks, including type checks"
+  help       = "enable semantic checks, including type checks"
 
 [[option]]
   name       = "globalDeclarations"