diff --git a/tests/compiler/phashmap.lean b/tests/compiler/phashmap.lean
index 4815671f27..2f839900d0 100644
--- a/tests/compiler/phashmap.lean
+++ b/tests/compiler/phashmap.lean
@@ -1,5 +1,5 @@
 import Init.Data.PersistentHashMap
-import Init.Lean.Format
+import Init.Lean.Data.Format
 open Lean PersistentHashMap
 
 abbrev Map := PersistentHashMap Nat Nat
diff --git a/tests/compiler/phashmap2.lean b/tests/compiler/phashmap2.lean
index 84bfd74f3f..2a20b4d2e2 100644
--- a/tests/compiler/phashmap2.lean
+++ b/tests/compiler/phashmap2.lean
@@ -1,5 +1,5 @@
 import Init.Data.PersistentHashMap
-import Init.Lean.Format
+import Init.Lean.Data.Format
 open Lean PersistentHashMap
 
 abbrev Map := PersistentHashMap Nat Nat
diff --git a/tests/compiler/phashmap3.lean b/tests/compiler/phashmap3.lean
index 3b9f7bc8c2..6ad98d6f56 100644
--- a/tests/compiler/phashmap3.lean
+++ b/tests/compiler/phashmap3.lean
@@ -1,5 +1,5 @@
 import Init.Data.PersistentHashMap
-import Init.Lean.Format
+import Init.Lean.Data.Format
 open Lean PersistentHashMap
 
 abbrev Map := PersistentHashMap Nat Nat