diff options
| author | Guy <katz911@gmail.com> | 2016-06-20 05:40:20 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-06-20 05:40:20 -0700 |
| commit | 150863561376c8cb7b170793f693352eab582ba9 (patch) | |
| tree | c324dc74f248573b19096cea862534430e22b1f8 /src/theory | |
| parent | f948414b8b9979f3e680abdedf8e3e6fbbbdd226 (diff) | |
Fixed a bug where the proofManager's init() call was not getting called, resutling a null point deference
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/theory_engine.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 618fda4c0..34eff5a47 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -261,7 +261,9 @@ TheoryEngine::TheoryEngine(context::Context* context, d_true = NodeManager::currentNM()->mkConst<bool>(true); d_false = NodeManager::currentNM()->mkConst<bool>(false); - PROOF (ProofManager::currentPM()->initTheoryProofEngine(); ); +#ifdef CVC4_PROOF + ProofManager::currentPM()->initTheoryProofEngine(); +#endif d_iteUtilities = new ITEUtilities(d_iteRemover.getContainsVisitor()); |