5 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/uf/equality_engine.h b/src/theory/uf/equality_engine.h
index cae169081..e32a34707 100644
--- a/src/theory/uf/equality_engine.h
+++ b/src/theory/uf/equality_engine.h
@@ -30,7 +30,7 @@
 #include "expr/kind_map.h"
 #include "context/cdo.h"
 #include "util/output.h"
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 #include "theory/rewriter.h"
 #include "theory/theory.h"
 
diff --git a/src/theory/uf/inst_strategy.h b/src/theory/uf/inst_strategy.h
index 663720326..6369c6ba3 100644
--- a/src/theory/uf/inst_strategy.h
+++ b/src/theory/uf/inst_strategy.h
@@ -25,7 +25,7 @@
 #include "context/context.h"
 #include "context/context_mm.h"
 
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 #include "theory/uf/theory_uf.h"
 
 namespace CVC4 {
diff --git a/src/theory/uf/symmetry_breaker.h b/src/theory/uf/symmetry_breaker.h
index 2b7b10209..fe97e8afc 100644
--- a/src/theory/uf/symmetry_breaker.h
+++ b/src/theory/uf/symmetry_breaker.h
@@ -52,7 +52,7 @@
 
 #include "expr/node.h"
 #include "expr/node_builder.h"
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 
 namespace CVC4 {
 namespace theory {
diff --git a/src/theory/uf/theory_uf_instantiator.h b/src/theory/uf/theory_uf_instantiator.h
index 59b8f36a4..1929e0e47 100644
--- a/src/theory/uf/theory_uf_instantiator.h
+++ b/src/theory/uf/theory_uf_instantiator.h
@@ -25,7 +25,7 @@
 #include "context/context_mm.h"
 #include "context/cdchunk_list.h"
 
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 #include "theory/uf/theory_uf.h"
 #include "theory/quantifiers/trigger.h"
 #include "util/ntuple.h"
diff --git a/src/theory/uf/theory_uf_strong_solver.h b/src/theory/uf/theory_uf_strong_solver.h
index 8c63b4308..d78a43498 100644
--- a/src/theory/uf/theory_uf_strong_solver.h
+++ b/src/theory/uf/theory_uf_strong_solver.h
@@ -25,7 +25,7 @@
 #include "context/context_mm.h"
 #include "context/cdchunk_list.h"
 
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 
 namespace CVC4 {
 namespace theory {