From b0c2cebecbd6b7d2a7804cf5dcc92bb8a27b1857 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 19 Apr 2012 18:36:02 +0000
Subject: [PATCH] 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.

---
 src/decision/decision_engine.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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