about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorDaniel Schemmel <daniel@schemmel.net>2023-03-23 16:49:08 +0000
committerFrank Busse <f.busse@imperial.ac.uk>2023-04-01 14:01:06 +0100
commita46b8059ba5f8b5759813d142018478d4b72db71 (patch)
treefb9ed09e21203ad39d795beb88af2015dc7501f2 /lib/Core
parent2aa5b7b83da9d3036c5b90df7be0a1e6a49d058f (diff)
downloadklee-a46b8059ba5f8b5759813d142018478d4b72db71.tar.gz
remove include/klee/Support/IntEvaluation.h
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/ImpliedValue.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Core/ImpliedValue.cpp b/lib/Core/ImpliedValue.cpp
index 6e5a52dc..4128a2dc 100644
--- a/lib/Core/ImpliedValue.cpp
+++ b/lib/Core/ImpliedValue.cpp
@@ -15,7 +15,6 @@
 #include "klee/Expr/Expr.h"
 #include "klee/Expr/ExprUtil.h"
 #include "klee/Solver/Solver.h"
-#include "klee/Support/IntEvaluation.h" // FIXME: Use APInt
 
 #include <map>
 #include <set>