From 30c92d9a634a0643fd2dad51cc09486d38ba3893 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 16 Aug 2013 19:41:36 -0400 Subject: Permit setOption(decision-mode) --- src/decision/options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/decision') diff --git a/src/decision/options b/src/decision/options index 5f89e9611..1f0b137cb 100644 --- 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 -- cgit v1.2.3