STRING_TYPE and CONST_STRING and associate type infrastructure implemented.

[cvc5.git] / src / util / options.cpp

diff --git a/src/util/options.cpp b/src/util/options.cpp
index 7decc693bf8a0e9250caf6dc99d704262753267a..94ddf082f20fad696b8176f41b67fef9b18ecced 100644 (file)
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -102,7 +102,7 @@ Options::Options() :
 static const string mostCommonOptionsDescription = "\
 Most commonly-used CVC4 options:\n\
    --version | -V         identify this CVC4 binary\n\
-   --help | -h            this command line reference\n\
+   --help | -h            full command line reference\n\
    --lang | -L            force input language (default is `auto'; see --lang help)\n\
    --output-lang          force output language (default is `auto'; see --lang help)\n\
    --verbose | -v         increase verbosity (may be repeated)\n\