Updates to theory preprocess equality (#5776)

[cvc5.git] / src / theory / trust_node.cpp

diff --git a/src/theory/trust_node.cpp b/src/theory/trust_node.cpp
index 6c792e35527dd3d8897185cebdc5c446c21f43a6..905004cb8af56518cdf212d39a7fe0f48a1bc9ca 100644 (file)
--- a/src/theory/trust_node.cpp
+++ b/src/theory/trust_node.cpp
@@ -14,6 +14,7 @@
 
 #include "theory/trust_node.h"
 
+#include "expr/proof_ensure_closed.h"
 #include "expr/proof_generator.h"
 
 namespace CVC4 {