diff options
Diffstat (limited to 'src/smt/env.cpp')
| -rw-r--r-- | src/smt/env.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/env.cpp b/src/smt/env.cpp index fc19299d4..e88710628 100644 --- a/src/smt/env.cpp +++ b/src/smt/env.cpp @@ -82,9 +82,9 @@ DumpManager* Env::getDumpManager() { return d_dumpManager.get(); } const LogicInfo& Env::getLogicInfo() const { return d_logic; } -StatisticsRegistry* Env::getStatisticsRegistry() +StatisticsRegistry& Env::getStatisticsRegistry() { - return d_statisticsRegistry.get(); + return *d_statisticsRegistry; } const Options& Env::getOptions() const { return d_options; } |