Permit setOption(decision-mode)

diff --git a/src/decision/options b/src/decision/options
index 5f89e9611e51f38b10f506ba489c494aecff64c7..1f0b137cb5bddd0e2feafacebc30c80e8f945223 100644 (file)
--- a/src/decision/options
+++ b/src/decision/options
@@ -6,7 +6,7 @@
 module DECISION "decision/options.h" Decision heuristics
 
 # When/whether to use any decision strategies
-option decisionMode --decision=MODE decision::DecisionMode :handler CVC4::decision::stringToDecisionMode :default decision::DECISION_STRATEGY_INTERNAL :read-write :include "decision/decision_mode.h" :handler-include "decision/options_handlers.h"
+option decisionMode decision-mode --decision=MODE decision::DecisionMode :handler CVC4::decision::stringToDecisionMode :default decision::DECISION_STRATEGY_INTERNAL :read-write :include "decision/decision_mode.h" :handler-include "decision/options_handlers.h"
  choose decision mode, see --decision=help
 
 # only use DE to determine when to stop, not to make decisions