From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 25 May 2012 16:45:21 +0000 (+0000)
Subject: init bug fix
X-Git-Tag: cvc5-1.0.0~8143
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b5de553d4d7f588afaa02a2fb4311700f5f65761;p=cvc5.git

init bug fix
---

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),