From 021fda2d80c744e108323fa8cebab4d411efd6cd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 4 Dec 2019 17:02:56 -0800 Subject: [PATCH] chore: fix tests --- tests/compiler/phashmap.lean | 2 +- tests/compiler/phashmap2.lean | 2 +- tests/compiler/phashmap3.lean | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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