diff options
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/theory_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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), |