From 540ef6910a2b7ffeb67bac18dfc489fb4a6115d6 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 9 Mar 2021 13:48:43 +0100 Subject: Some more cleanup of includes (#6083) This PR does some more cleanup of the includes. --- src/theory/theory_inference_manager.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/theory_inference_manager.h') diff --git a/src/theory/theory_inference_manager.h b/src/theory/theory_inference_manager.h index 6e9622e23..a599afa23 100644 --- a/src/theory/theory_inference_manager.h +++ b/src/theory/theory_inference_manager.h @@ -21,6 +21,7 @@ #include "context/cdhashset.h" #include "expr/node.h" +#include "expr/proof_rule.h" #include "theory/inference_id.h" #include "theory/output_channel.h" #include "theory/trust_node.h" -- cgit v1.2.3