diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 8a5c40fd8..f34aebe8b 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -32,12 +32,14 @@ #include "prop/prop_engine.h" #include "smt/dump.h" #include "smt/logic_exception.h" +#include "smt/output_manager.h" #include "theory/combination_care_graph.h" #include "theory/decision_manager.h" #include "theory/quantifiers/first_order_model.h" #include "theory/quantifiers_engine.h" #include "theory/relevance_manager.h" #include "theory/rewriter.h" +#include "theory/shared_solver.h" #include "theory/theory.h" #include "theory/theory_engine_proof_generator.h" #include "theory/theory_id.h" @@ -48,7 +50,6 @@ using namespace std; -using namespace CVC4::preprocessing; using namespace CVC4::theory; namespace CVC4 { |