From b097c8d29ccefee7aa799b0ca870cc4e8ec39812 Mon Sep 17 00:00:00 2001 From: "Hoang M. Le" Date: Tue, 24 May 2016 17:14:35 +0200 Subject: clean up metaSMT includes --- lib/Solver/CoreSolver.cpp | 7 +------ lib/Solver/MetaSMTBuilder.h | 11 ----------- lib/Solver/MetaSMTSolver.cpp | 12 ++++++++---- 3 files changed, 9 insertions(+), 21 deletions(-) (limited to 'lib/Solver') diff --git a/lib/Solver/CoreSolver.cpp b/lib/Solver/CoreSolver.cpp index 94bb3a5e..66328f30 100644 --- a/lib/Solver/CoreSolver.cpp +++ b/lib/Solver/CoreSolver.cpp @@ -15,14 +15,9 @@ #ifdef ENABLE_METASMT -#include +#include #include #include -#include -#include -#include -#include -#include #define Expr VCExpr #define Type VCType diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h index 9e1f9a62..9aca9f83 100644 --- a/lib/Solver/MetaSMTBuilder.h +++ b/lib/Solver/MetaSMTBuilder.h @@ -32,17 +32,6 @@ #include #include #include -#include -#include - -#define Expr VCExpr -#define STP STP_Backend -#include -#undef Expr -#undef STP - -#include -#include using namespace metaSMT; using namespace metaSMT::logic::QF_BV; diff --git a/lib/Solver/MetaSMTSolver.cpp b/lib/Solver/MetaSMTSolver.cpp index c4f6a5d0..56964b5d 100644 --- a/lib/Solver/MetaSMTSolver.cpp +++ b/lib/Solver/MetaSMTSolver.cpp @@ -19,11 +19,15 @@ #include #include #include -#include -#include -#include -#include +#define Expr VCExpr +#define Type VCType +#define STP STP_Backend +#include +#undef Expr +#undef Type +#undef STP + #include #include #include -- cgit 1.4.1