diff options
Diffstat (limited to 'src/decision/decision_engine.cpp')
| -rw-r--r-- | src/decision/decision_engine.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 679dd6cc6..dc798626e 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -18,7 +18,6 @@ #include "decision/decision_attributes.h" #include "decision/justification_heuristic.h" #include "expr/node.h" -#include "options/decision_mode.h" #include "options/decision_options.h" #include "options/smt_options.h" @@ -53,8 +52,8 @@ void DecisionEngine::init() Trace("decision-init") << " * options->decisionStopOnly: " << options::decisionStopOnly() << std::endl; - if(options::decisionMode() == decision::DECISION_STRATEGY_INTERNAL) { } - if(options::decisionMode() == decision::DECISION_STRATEGY_JUSTIFICATION) { + if (options::decisionMode() == options::DecisionMode::JUSTIFICATION) + { ITEDecisionStrategy* ds = new decision::JustificationHeuristic(this, d_userContext, d_satContext); enableStrategy(ds); |