From 400aea6b9d4d0a33f4c6cae4cada7e54029fccc4 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 1 Sep 2009 06:53:41 +0000 Subject: 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 --- include/klee/Expr.h | 2 +- include/klee/util/Ref.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'include') 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 #include +#include // 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 +#include // FIXME: Remove this!!! namespace klee { -- cgit 1.4.1