about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--include/klee/ADT/Ref.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/include/klee/ADT/Ref.h b/include/klee/ADT/Ref.h
index a40ed238..8e7b37af 100644
--- a/include/klee/ADT/Ref.h
+++ b/include/klee/ADT/Ref.h
@@ -32,7 +32,6 @@
 #include "klee/Support/Casting.h"
 
 #include <cassert>
-#include <iosfwd> // FIXME: Remove this when LLVM 4.0 support is removed!!!
 
 namespace llvm {
   class raw_ostream;