allow SmtEngine::setOption() for trace and debug tags

diff --git a/src/options/base_options b/src/options/base_options
index df8852cefde0efe7b67394be1c113ee3b1020a8b..baaf03b5066f6e3ce829abec6297588057c3a9a8 100644 (file)
--- a/src/options/base_options
+++ b/src/options/base_options
@@ -96,9 +96,9 @@ common-option preprocessOnly preprocess-only --preprocess-only bool
 option segvNoSpin --segv-nospin bool
  don't spin on segfault waiting for gdb
 
-option - -t --trace=TAG argument :handler CVC4::options::addTraceTag
+option - trace -t --trace=TAG argument :handler CVC4::options::addTraceTag
  trace something (e.g. -t pushpop), can repeat
-option - -d --debug=TAG argument :handler CVC4::options::addDebugTag
+option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag
  debug something (e.g. -d arith), can repeat
 
 option printSuccess print-success --print-success bool :predicate CVC4::options::setPrintSuccess :predicate-include "options/base_options_handlers.h"