diff options
Diffstat (limited to 'include/klee/util/Ref.h')
| -rw-r--r-- | include/klee/util/Ref.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h index 61e91f3c..1b823f56 100644 --- a/include/klee/util/Ref.h +++ b/include/klee/util/Ref.h @@ -11,7 +11,6 @@ #define KLEE_REF_H #include "llvm/Support/Casting.h" -#include "llvm/Support/Streams.h" using llvm::isa; using llvm::cast; using llvm::cast_or_null; @@ -19,6 +18,7 @@ using llvm::dyn_cast; using llvm::dyn_cast_or_null; #include <assert.h> +#include <iosfwd> // FIXME: Remove this!!! namespace klee { |