import all
diff --git a/src/Init/Data/Array.lean b/src/Init/Data/Array.lean index 6626b0b..d87435c 100644 --- a/src/Init/Data/Array.lean +++ b/src/Init/Data/Array.lean
@@ -20,3 +20,4 @@ import Init.Data.Array.Set import Init.Data.Array.Monadic import Init.Data.Array.FinRange +import Init.Data.Array.Perm