From b5de553d4d7f588afaa02a2fb4311700f5f65761 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 25 May 2012 16:45:21 +0000
Subject: [PATCH] init bug fix

---
 src/theory/theory_engine.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 0ab188dc4..d326d0bb7 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -41,6 +41,7 @@ TheoryEngine::TheoryEngine(context::Context* context,
                            context::UserContext* userContext,
                            const LogicInfo& logicInfo)
 : d_propEngine(NULL),
+  d_decisionEngine(NULL),
   d_context(context),
   d_userContext(userContext),
   d_logicInfo(logicInfo),
-- 
2.30.2