diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-03-16 21:35:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-16 21:35:21 -0700 |
commit | 5c825235dd99b7c0767789db9d782e24c581ace5 (patch) | |
tree | a9990e67295d0a7354549a207739bed63375ef7f /src/smt/smt_engine_scope.cpp | |
parent | eb15f0e13412935f3ec2517c5a09c169657e7c74 (diff) |
SmtEngine: Convert members owned by SmtEngine to unique pointers. (#4108)
Diffstat (limited to 'src/smt/smt_engine_scope.cpp')
-rw-r--r-- | src/smt/smt_engine_scope.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine_scope.cpp b/src/smt/smt_engine_scope.cpp index 4b593f075..55af4bfd2 100644 --- a/src/smt/smt_engine_scope.cpp +++ b/src/smt/smt_engine_scope.cpp @@ -38,7 +38,7 @@ bool smtEngineInScope() { return s_smtEngine_current != NULL; } ProofManager* currentProofManager() { #if IS_PROOFS_BUILD Assert(s_smtEngine_current != NULL); - return s_smtEngine_current->d_proofManager; + return s_smtEngine_current->getProofManager(); #else /* IS_PROOFS_BUILD */ InternalError() << "proofs/unsat cores are not on, but ProofManager requested"; @@ -62,7 +62,7 @@ SmtScope::~SmtScope() { StatisticsRegistry* SmtScope::currentStatisticsRegistry() { Assert(smtEngineInScope()); - return s_smtEngine_current->d_statisticsRegistry; + return s_smtEngine_current->getStatisticsRegistry(); } }/* CVC4::smt namespace */ |