about summary refs log tree commit diff homepage
path: root/unittests/Time/TimeTest.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'unittests/Time/TimeTest.cpp')
-rw-r--r--unittests/Time/TimeTest.cpp4
1 files changed, 2 insertions, 2 deletions
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
+}