diff options
| -rw-r--r-- | include/klee/util/Ref.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h index 4dafdf8e..92fd1740 100644 --- a/include/klee/util/Ref.h +++ b/include/klee/util/Ref.h @@ -36,8 +36,8 @@ using llvm::cast_or_null; using llvm::dyn_cast; using llvm::dyn_cast_or_null; -#include <assert.h> -#include <iosfwd> // FIXME: Remove this!!! +#include <cassert> +#include <iosfwd> // FIXME: Remove this when LLVM 4.0 support is removed!!! namespace llvm { class raw_ostream; |