1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/booleans/circuit_propagator.cpp b/src/theory/booleans/circuit_propagator.cpp
index 1912d1ba6..b50ec34c7 100644
--- a/src/theory/booleans/circuit_propagator.cpp
+++ b/src/theory/booleans/circuit_propagator.cpp
@@ -21,8 +21,12 @@
 #include <vector>
 
 #include "expr/node_algorithm.h"
+#include "expr/proof_node.h"
 #include "expr/proof_node_manager.h"
 #include "theory/booleans/proof_circuit_propagator.h"
+#include "theory/eager_proof_generator.h"
+#include "theory/theory.h"
+#include "util/hash.h"
 #include "util/utility.h"
 
 using namespace std;