In the constructor of DecisionEngine, there were 2 pointers that were assumed to be initialized to NULL. This is not true on all platforms. This is now done explicitly. Macs builds should now work again.

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) { }