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;