diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-07 11:38:44 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-12 11:40:39 +0000 |
| commit | 9da07ca0ccc58286f8247bc2e7d7745abfa0cc54 (patch) | |
| tree | 57956422102da8f56d6603f17fbc6a378d22c26d /lib/Solver | |
| parent | c02b778b45449684d764fdbbc88648390abab7d7 (diff) | |
| download | klee-9da07ca0ccc58286f8247bc2e7d7745abfa0cc54.tar.gz | |
Drop unnecessary ``#include``s from Solver.cpp.
Diffstat (limited to 'lib/Solver')
| -rw-r--r-- | lib/Solver/Solver.cpp | 20 |
1 files changed, 0 insertions, 20 deletions
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; |