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/combination_care_graph.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/combination_care_graph.cpp') diff --git a/src/theory/combination_care_graph.cpp b/src/theory/combination_care_graph.cpp index 4290ff989..567a16636 100644 --- a/src/theory/combination_care_graph.cpp +++ b/src/theory/combination_care_graph.cpp @@ -17,6 +17,7 @@ #include "expr/node_visitor.h" #include "prop/prop_engine.h" #include "theory/care_graph.h" +#include "theory/model_manager.h" #include "theory/theory_engine.h" namespace CVC4 { -- cgit v1.2.3