1 files changed, 6 insertions, 3 deletions
diff --git a/src/expr/proof_node_updater.h b/src/expr/proof_node_updater.h
index 9814c8166..2df668384 100644
--- a/src/expr/proof_node_updater.h
+++ b/src/expr/proof_node_updater.h
@@ -18,14 +18,17 @@
 #define CVC4__EXPR__PROOF_NODE_UPDATER_H
 
 #include <map>
-#include <unordered_set>
+#include <memory>
 
-#include "expr/proof.h"
+#include "expr/node.h"
 #include "expr/proof_node.h"
-#include "expr/proof_node_manager.h"
 
 namespace CVC4 {
 
+class CDProof;
+class ProofNode;
+class ProofNodeManager;
+
 /**
  * A virtual callback class for updating ProofNode. An example use case of this
  * class is to eliminate a proof rule by expansion.