From 9da07ca0ccc58286f8247bc2e7d7745abfa0cc54 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 7 Jan 2016 11:38:44 +0000
Subject: Drop unnecessary ``#include``s from Solver.cpp.

---
 lib/Solver/Solver.cpp | 20 --------------------
 1 file changed, 20 deletions(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index bb4bef69..3434d2ae 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -9,27 +9,7 @@
 
 #include "klee/Solver.h"
 #include "klee/SolverImpl.h"
-
-
 #include "klee/Constraints.h"
-#include "klee/Expr.h"
-#include "klee/TimerStatIncrementer.h"
-#include "klee/util/Assignment.h"
-#include "klee/util/ExprPPrinter.h"
-#include "klee/util/ExprUtil.h"
-#include "klee/Internal/Support/Timer.h"
-#include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/CommandLine.h"
-#include "klee/SolverStats.h"
-
-
-#include <cassert>
-#include <cstdio>
-#include <map>
-#include <vector>
-
-#include "llvm/Support/ErrorHandling.h"
-
 
 using namespace klee;
 
-- 
cgit 1.4.1