diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7d3c4d3fb..840843762 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -143,7 +143,7 @@ set(EXTRA_LIBS ${LEAN_LIBS} ${EXTRA_LIBS})
 add_subdirectory(shell)
 add_subdirectory(tests/util)
 add_subdirectory(tests/util/numerics)
-add_subdirectory(tests/interval)
+add_subdirectory(tests/util/interval)
 add_subdirectory(tests/kernel)
 add_subdirectory(tests/library)
 add_subdirectory(tests/library/rewriter)
diff --git a/src/tests/interval/CMakeLists.txt b/src/tests/util/interval/CMakeLists.txt
similarity index 100%
rename from src/tests/interval/CMakeLists.txt
rename to src/tests/util/interval/CMakeLists.txt
diff --git a/src/tests/interval/check.h b/src/tests/util/interval/check.h
similarity index 100%
rename from src/tests/interval/check.h
rename to src/tests/util/interval/check.h
diff --git a/src/tests/interval/double_interval.cpp b/src/tests/util/interval/double_interval.cpp
similarity index 99%
rename from src/tests/interval/double_interval.cpp
rename to src/tests/util/interval/double_interval.cpp
index d100e0271..0f6381f7c 100644
--- a/src/tests/interval/double_interval.cpp
+++ b/src/tests/util/interval/double_interval.cpp
@@ -8,7 +8,7 @@ Author: Soonho Kong
 #include "util/trace.h"
 #include "util/numerics/double.h"
 #include "util/interval/interval.h"
-#include "tests/interval/check.h"
+#include "tests/util/interval/check.h"
 
 using namespace lean;
 
diff --git a/src/tests/interval/float_interval.cpp b/src/tests/util/interval/float_interval.cpp
similarity index 99%
rename from src/tests/interval/float_interval.cpp
rename to src/tests/util/interval/float_interval.cpp
index e6f62f795..a3b0c00b8 100644
--- a/src/tests/interval/float_interval.cpp
+++ b/src/tests/util/interval/float_interval.cpp
@@ -8,7 +8,7 @@ Author: Soonho Kong
 #include "util/trace.h"
 #include "util/numerics/float.h"
 #include "util/interval/interval.h"
-#include "tests/interval/check.h"
+#include "tests/util/interval/check.h"
 
 using namespace lean;
 
diff --git a/src/tests/interval/interval.cpp b/src/tests/util/interval/interval.cpp
similarity index 100%
rename from src/tests/interval/interval.cpp
rename to src/tests/util/interval/interval.cpp
diff --git a/src/tests/interval/mpfp_interval.cpp b/src/tests/util/interval/mpfp_interval.cpp
similarity index 99%
rename from src/tests/interval/mpfp_interval.cpp
rename to src/tests/util/interval/mpfp_interval.cpp
index 206f3fc55..a2fa2446d 100644
--- a/src/tests/interval/mpfp_interval.cpp
+++ b/src/tests/util/interval/mpfp_interval.cpp
@@ -8,7 +8,7 @@ Author: Soonho Kong
 #include "util/trace.h"
 #include "util/numerics/mpfp.h"
 #include "util/interval/interval.h"
-#include "tests/interval/check.h"
+#include "tests/util/interval/check.h"
 
 using namespace lean;