init bug fix

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 0ab188dc411896f751b9bea13ffcc9768754f5b4..d326d0bb75cfe7b25712d9ae93b3bf226ab67517 100644 (file)
--- 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),