From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 14 Jul 2020 03:53:39 +0000 (-0300)
Subject: Fix options messages that were inverted (#4734)
X-Git-Tag: cvc5-1.0.0~3116
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c313f4d0863eec16618488649e706ff89439449f;p=cvc5.git

Fix options messages that were inverted (#4734)
---

diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml
index c26622fef..5f70aee43 100644
--- 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 72c7b51a0..afec2ce48 100644
--- 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"