diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-09-01 06:53:41 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-09-01 06:53:41 +0000 |
| commit | 400aea6b9d4d0a33f4c6cae4cada7e54029fccc4 (patch) | |
| tree | 274e25a9d0d9353b3a41a60b0636edbd73d22473 /include | |
| parent | 0f0b921714a32b51a1bbda1848a356bb4553f3d3 (diff) | |
| download | klee-400aea6b9d4d0a33f4c6cae4cada7e54029fccc4.tar.gz | |
Update for LLVM ostream changes.
- Includes patch by Michael Stone! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@80665 91177308-0d34-0410-b5e6-96231b3b80d8
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 { |