diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-07-30 10:18:11 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-19 12:05:22 +0000 |
| commit | 86ab439d589d0afb1b710ef58296d07a263092e3 (patch) | |
| tree | 8ab28f3846dd2bbfda8ab0d55ae097d85d37da42 | |
| parent | 3d52feadb4282053fbfc5b3d1dbe00f1c8ad7815 (diff) | |
| download | klee-86ab439d589d0afb1b710ef58296d07a263092e3.tar.gz | |
Clean-up header files
* Replace c header with c++ header * remove unneeded header file
| -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; |