From 3ab1012ba416dfc6932f6cfa09042c2897a301a5 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 15 Dec 2021 16:59:12 +0000
Subject: ADT/Ref.h: remove header

---
 include/klee/ADT/Ref.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'include')

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;
-- 
cgit 1.4.1