From 86ab439d589d0afb1b710ef58296d07a263092e3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Tue, 30 Jul 2019 10:18:11 +0100
Subject: Clean-up header files

* Replace c header with c++ header
* remove unneeded header file
---
 include/klee/util/Ref.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h
index 4dafdf8e..92fd1740 100644
--- a/include/klee/util/Ref.h
+++ b/include/klee/util/Ref.h
@@ -36,8 +36,8 @@ using llvm::cast_or_null;
 using llvm::dyn_cast;
 using llvm::dyn_cast_or_null;
 
-#include <assert.h>
-#include <iosfwd> // FIXME: Remove this!!!
+#include <cassert>
+#include <iosfwd> // FIXME: Remove this when LLVM 4.0 support is removed!!!
 
 namespace llvm {
   class raw_ostream;
-- 
cgit 1.4.1