From 7d85ee81dcf23e841ef794fa6ba08a076dcdebf0 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 3 Apr 2020 13:16:22 +0100
Subject: Removed the Internal directory from include/klee

---
 unittests/Time/TimeTest.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'unittests/Time')

diff --git a/unittests/Time/TimeTest.cpp b/unittests/Time/TimeTest.cpp
index a05c41b4..98d61e7d 100644
--- a/unittests/Time/TimeTest.cpp
+++ b/unittests/Time/TimeTest.cpp
@@ -1,4 +1,4 @@
-#include "klee/Internal/System/Time.h"
+#include "klee/System/Time.h"
 #include "gtest/gtest.h"
 #include "gtest/gtest-death-test.h"
 
@@ -182,4 +182,4 @@ TEST(TimeTest, ImplicitArithmeticConversions) {
   t1 *= 2.2;
   d = t1.toSeconds();
   ASSERT_EQ(d, 2200.0);
-}
\ No newline at end of file
+}
-- 
cgit 1.4.1