diff --git a/src/Init/Data.lean b/src/Init/Data.lean
index edfd8ed374..fb7d7189cd 100644
--- a/src/Init/Data.lean
+++ b/src/Init/Data.lean
@@ -11,6 +11,7 @@ import Init.Data.String
 import Init.Data.List
 import Init.Data.Int
 import Init.Data.Array
+import Init.Data.PersistentArray
 import Init.Data.ByteArray
 import Init.Data.FloatArray
 import Init.Data.Fin