In the constructor of DecisionEngine, there were 2 pointers that were assumed to...

diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp
index 936ac8e73bcd073f6dce0a731a42e59cfae746cb..dbdbb83a992b02c396125755cfac05685ee32b81 100644 (file)
--- 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) { }