1 files changed, 2 insertions, 22 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index d17d97f97..f7d9ee6a0 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -28,7 +28,6 @@
 #include "context/cdo.h"
 #include "context/context.h"
 #include "expr/node.h"
-#include "expr/statistics_registry.h"
 #include "lib/ffs.h"
 #include "options/options.h"
 #include "options/theory_options.h"
@@ -40,6 +39,7 @@
 #include "theory/logic_info.h"
 #include "theory/output_channel.h"
 #include "theory/valuation.h"
+#include "util/statistics_registry.h"
 
 namespace CVC4 {
 
@@ -247,27 +247,7 @@ protected:
    */
   Theory(TheoryId id, context::Context* satContext, context::UserContext* userContext,
          OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo,
-         SmtGlobals* globals) throw()
-  : d_id(id)
-  , d_satContext(satContext)
-  , d_userContext(userContext)
-  , d_logicInfo(logicInfo)
-  , d_facts(satContext)
-  , d_factsHead(satContext, 0)
-  , d_sharedTermsIndex(satContext, 0)
-  , d_careGraph(NULL)
-  , d_quantEngine(NULL)
-  , d_checkTime(statName(id, "checkTime"))
-  , d_computeCareGraphTime(statName(id, "computeCareGraphTime"))
-  , d_sharedTerms(satContext)
-  , d_out(&out)
-  , d_valuation(valuation)
-  , d_proofEnabled(false)
-  , d_globals(globals)
-  {
-    StatisticsRegistry::registerStat(&d_checkTime);
-    StatisticsRegistry::registerStat(&d_computeCareGraphTime);
-  }
+         SmtGlobals* globals) throw();
 
   /**
    * This is called at shutdown time by the TheoryEngine, just before