diff options
Diffstat (limited to 'include/klee/Support/FloatEvaluation.h')
| -rw-r--r-- | include/klee/Support/FloatEvaluation.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/klee/Support/FloatEvaluation.h b/include/klee/Support/FloatEvaluation.h index 37392576..d6fcc73c 100644 --- a/include/klee/Support/FloatEvaluation.h +++ b/include/klee/Support/FloatEvaluation.h @@ -12,8 +12,9 @@ #ifndef KLEE_FLOATEVALUATION_H #define KLEE_FLOATEVALUATION_H -#include "klee/util/Bits.h" //bits64::truncateToNBits -#include "IntEvaluation.h" //ints::sext +#include "IntEvaluation.h" // ints::sext + +#include "klee/ADT/Bits.h" // bits64::truncateToNBits #include "llvm/Support/ErrorHandling.h" #include "llvm/Support/MathExtras.h" |