1 files changed, 7 insertions, 8 deletions
diff --git a/src/theory/uf/equality_engine.h b/src/theory/uf/equality_engine.h
index a26947ed1..f7f7f9ddd 100644
--- a/src/theory/uf/equality_engine.h
+++ b/src/theory/uf/equality_engine.h
@@ -19,20 +19,19 @@
 
 #pragma once
 
-#include <queue>
 #include <deque>
-#include <vector>
 #include <ext/hash_map>
+#include <queue>
+#include <vector>
 
-#include "expr/node.h"
-#include "expr/kind_map.h"
-#include "context/cdo.h"
+#include "base/output.h"
 #include "context/cdhashmap.h"
-#include "util/output.h"
-#include "util/statistics_registry.h"
+#include "context/cdo.h"
+#include "expr/kind_map.h"
+#include "expr/node.h"
+#include "expr/statistics_registry.h"
 #include "theory/rewriter.h"
 #include "theory/theory.h"
-
 #include "theory/uf/equality_engine_types.h"
 
 namespace CVC4 {