diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 2 | ||||
| -rw-r--r-- | include/klee/util/Ref.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 9edcd8d0..b0f36e1c 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -15,10 +15,10 @@ #include "llvm/ADT/APInt.h" #include "llvm/ADT/SmallVector.h" -#include "llvm/Support/Streams.h" #include <set> #include <vector> +#include <iosfwd> // FIXME: Remove this!!! namespace llvm { class Type; 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 { |