diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-05-25 16:45:21 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-05-25 16:45:21 +0000 |
| commit | b5de553d4d7f588afaa02a2fb4311700f5f65761 (patch) | |
| tree | ac9a6c13db3ff1c9d8d08866d29823ca3c8a66a9 /src | |
| parent | c6216f46da02f995663788399b58a9461005d1b8 (diff) | |
init bug fix
Diffstat (limited to 'src')
| -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), |