about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2017-05-25 11:39:39 +0100
committerDan Liew <delcypher@gmail.com>2017-06-01 11:36:09 +0100
commit641bc46d446865e80b15b8f2ffacde41f3b6dd53 (patch)
tree761812b70379c7a3335143d27373f65eed132d33 /lib
parent97076694644846ffd4ae376c1e94eb17f669ec07 (diff)
downloadklee-641bc46d446865e80b15b8f2ffacde41f3b6dd53.tar.gz
[Z3] Remove unused include.
Diffstat (limited to 'lib')
-rw-r--r--lib/Solver/Z3Builder.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Solver/Z3Builder.cpp b/lib/Solver/Z3Builder.cpp
index 11f6193d..6c0653e8 100644
--- a/lib/Solver/Z3Builder.cpp
+++ b/lib/Solver/Z3Builder.cpp
@@ -10,7 +10,6 @@
 #ifdef ENABLE_Z3
 #include "Z3Builder.h"
 
-#include "ConstantDivision.h"
 #include "klee/Expr.h"
 #include "klee/Internal/Support/ErrorHandling.h"
 #include "klee/Solver.h"