diff options
Diffstat (limited to 'src/theory/quantifiers/options_handlers.h')
-rw-r--r-- | src/theory/quantifiers/options_handlers.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/options_handlers.h b/src/theory/quantifiers/options_handlers.h index 86d0c27e4..97eaf4aaa 100644 --- a/src/theory/quantifiers/options_handlers.h +++ b/src/theory/quantifiers/options_handlers.h @@ -153,7 +153,7 @@ ignore \n\ \n\ "; static const std::string triggerSelModeHelp = "\ -User pattern modes currently supported by the --trigger-sel option:\n\ +Trigger selection modes currently supported by the --trigger-sel option:\n\ \n\ default \n\ + Default, consider all subterms of quantified formulas for trigger selection.\n\ |