From e05ad4759f2ae01cc06a9ca715c777d188f0f5fd Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 2 Feb 2021 12:25:21 -0600 Subject: Cleanup some includes (#5847) In particular, theory_engine.h is included many places spuriously. A few blocks of code changed indentation, updated to guidelines. --- 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 402eeeb26..1ebffc8c2 100644 --- a/src/theory/combination_care_graph.cpp +++ b/src/theory/combination_care_graph.cpp @@ -15,6 +15,7 @@ #include "theory/combination_care_graph.h" #include "expr/node_visitor.h" +#include "prop/prop_engine.h" #include "theory/care_graph.h" #include "theory/theory_engine.h" -- cgit v1.2.3