some fixes to build system

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 4 insertions, 0 deletions

diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp
index 516930bcd..be2804fd5 100644
--- a/src/expr/expr_manager_template.cpp
+++ b/src/expr/expr_manager_template.cpp
@@ -126,6 +126,10 @@ ExprManager::~ExprManager() throw() {
   }
 }
 
+StatisticsRegistry* ExprManager::getStatisticsRegistry() throw() {
+  return d_nodeManager->getStatisticsRegistry();
+}
+
 const Options& ExprManager::getOptions() const {
   return d_nodeManager->getOptions();
 }