From 2b0209af3f85d5467486a430b36b41d17863f78e Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 8 Oct 2018 22:15:43 +0100
Subject: Fixed compilation of array optimization patch with LLVM >= 4.0

---
 include/klee/ArrayExprOptimizer.h  | 4 ++--
 include/klee/AssignmentGenerator.h | 2 --
 2 files changed, 2 insertions(+), 4 deletions(-)

(limited to 'include')

diff --git a/include/klee/ArrayExprOptimizer.h b/include/klee/ArrayExprOptimizer.h
index 9b62571f..2d8a9014 100644
--- a/include/klee/ArrayExprOptimizer.h
+++ b/include/klee/ArrayExprOptimizer.h
@@ -26,9 +26,9 @@
 #include "util/Ref.h"
 #include "klee/AssignmentGenerator.h"
 #include "klee/ExecutionState.h"
+#include "klee/Config/Version.h"
 
-#include "llvm/Support/TimeValue.h"
-#include "klee/Internal/System/Time.h"
+#include "llvm/Support/CommandLine.h"
 
 #include <ciso646>
 
diff --git a/include/klee/AssignmentGenerator.h b/include/klee/AssignmentGenerator.h
index aa228755..96209498 100644
--- a/include/klee/AssignmentGenerator.h
+++ b/include/klee/AssignmentGenerator.h
@@ -24,8 +24,6 @@
 #include "util/Assignment.h"
 #include "util/Ref.h"
 
-#include "llvm/Support/TimeValue.h"
-#include "klee/Internal/System/Time.h"
 
 namespace klee {
 
-- 
cgit 1.4.1