diff options
Diffstat (limited to 'src/smt/env_obj.cpp')
-rw-r--r-- | src/smt/env_obj.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/smt/env_obj.cpp b/src/smt/env_obj.cpp index 32c6e4b02..fcbcc92d2 100644 --- a/src/smt/env_obj.cpp +++ b/src/smt/env_obj.cpp @@ -45,4 +45,9 @@ context::UserContext* EnvObj::userContext() const return d_env.getUserContext(); } +StatisticsRegistry& EnvObj::statisticsRegistry() const +{ + return d_env.getStatisticsRegistry(); +} + } // namespace cvc5 |