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/smt/smt_engine_scope.h | |
| 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/smt/smt_engine_scope.h')
| -rw-r--r-- | src/smt/smt_engine_scope.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/smt_engine_scope.h b/src/smt/smt_engine_scope.h index e00be40d4..9407ff498 100644 --- a/src/smt/smt_engine_scope.h +++ b/src/smt/smt_engine_scope.h @@ -49,7 +49,6 @@ inline bool smtEngineInScope() { // FIXME: Maybe move into SmtScope? inline ProofManager* currentProofManager() { #if IS_PROOFS_BUILD - Assert(options::proof() || options::unsatCores()); Assert(s_smtEngine_current != NULL); return s_smtEngine_current->d_proofManager; #else /* IS_PROOFS_BUILD */ |