From b9453efe7ca4c838e5f31e682792eda6259133a6 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 14 Jan 2016 12:27:53 +0000
Subject: Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.

---
 tools/kleaver/main.cpp | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index ea9be41f..edc5f4c9 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -36,28 +36,6 @@ using namespace llvm;
 using namespace klee;
 using namespace klee::expr;
 
-#ifdef ENABLE_METASMT
-
-#include <metaSMT/DirectSolver_Context.hpp>
-#include <metaSMT/backend/Z3_Backend.hpp>
-#include <metaSMT/backend/Boolector.hpp>
-
-#define Expr VCExpr
-#define Type VCType
-#define STP STP_Backend
-#include <metaSMT/backend/STP.hpp>
-#undef Expr
-#undef Type
-#undef STP
-
-using namespace metaSMT;
-using namespace metaSMT::solver;
-
-#endif /* ENABLE_METASMT */
-
-
-
-
 namespace {
   llvm::cl::opt<std::string>
   InputFile(llvm::cl::desc("<input query log>"), llvm::cl::Positional,
-- 
cgit 1.4.1