diff options
Diffstat (limited to 'src/smt/smt_engine_scope.cpp')
-rw-r--r-- | src/smt/smt_engine_scope.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine_scope.cpp b/src/smt/smt_engine_scope.cpp index cbb6a9679..aa349d980 100644 --- a/src/smt/smt_engine_scope.cpp +++ b/src/smt/smt_engine_scope.cpp @@ -62,7 +62,7 @@ SmtScope::~SmtScope() { StatisticsRegistry* SmtScope::currentStatisticsRegistry() { Assert(smtEngineInScope()); - return s_smtEngine_current->getStatisticsRegistry(); + return &(s_smtEngine_current->getStatisticsRegistry()); } } // namespace smt |