From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 16 Aug 2013 23:41:36 +0000 (-0400)
Subject: Permit setOption(decision-mode)
X-Git-Tag: cvc5-1.0.0~7287^2~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=30c92d9a634a0643fd2dad51cc09486d38ba3893;p=cvc5.git

Permit setOption(decision-mode)
---

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