diff options
| -rw-r--r-- | src/decision/decision_engine.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 936ac8e73..dbdbb83a9 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -26,7 +26,11 @@ using namespace std; namespace CVC4 { -DecisionEngine::DecisionEngine() : d_needSimplifiedPreITEAssertions() { +DecisionEngine::DecisionEngine() : + d_needSimplifiedPreITEAssertions(), + d_cnfStream(NULL), + d_satSolver(NULL) +{ const Options* options = Options::current(); Trace("decision") << "Creating decision engine" << std::endl; if(options->decisionMode == Options::DECISION_STRATEGY_INTERNAL) { } |