1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/env_obj.h b/src/smt/env_obj.h
index 4b907c27b..ef9a82b17 100644
--- a/src/smt/env_obj.h
+++ b/src/smt/env_obj.h
@@ -29,6 +29,7 @@ class Env;
 class LogicInfo;
 class NodeManager;
 class Options;
+class StatisticsRegistry;
 
 namespace context {
 class Context;
@@ -67,6 +68,9 @@ class EnvObj
   /** Get a pointer to the UserContext via Env. */
   context::UserContext* userContext() const;
 
+  /** Get the statistics registry via Env. */
+  StatisticsRegistry& statisticsRegistry() const;
+
   /** The associated environment. */
   Env& d_env;
 };