1 files changed, 13 insertions, 11 deletions
diff --git a/src/theory/arith/constraint.h b/src/theory/arith/constraint.h
index 6a73d69d2..6ac03bb82 100644
--- a/src/theory/arith/constraint.h
+++ b/src/theory/arith/constraint.h
@@ -78,36 +78,38 @@
 #ifndef CVC4__THEORY__ARITH__CONSTRAINT_H
 #define CVC4__THEORY__ARITH__CONSTRAINT_H
 
-#include <list>
-#include <set>
 #include <unordered_map>
 #include <vector>
 
 #include "base/configuration_private.h"
 #include "context/cdlist.h"
 #include "context/cdqueue.h"
-#include "context/context.h"
 #include "expr/node.h"
-#include "expr/proof_node_manager.h"
 #include "theory/arith/arithvar.h"
 #include "theory/arith/callbacks.h"
-#include "theory/arith/congruence_manager.h"
 #include "theory/arith/constraint_forward.h"
 #include "theory/arith/delta_rational.h"
 #include "theory/arith/proof_macros.h"
 #include "theory/trust_node.h"
+#include "util/statistics_registry.h"
 
 namespace CVC4 {
-namespace theory {
-namespace arith {
-class Comparison;
-}
-}
+
+class ProofNodeManager;
+
+namespace context {
+class Context;
 }
-namespace CVC4 {
 namespace theory {
+
+class EagerProofGenerator;
+
 namespace arith {
 
+class Comparison;
+class ArithCongruenceManager;
+class ArithVariables;
+
 /**
  * Logs the types of different proofs.
  * Current, proof types: