leanprover-community
diff --git a/‎Batteries/Data/HashMap.lean‎
Lines changed: 0 additions & 1 deletion b/‎Batteries/Data/HashMap.lean‎
Lines changed: 0 additions & 1 deletion
@@ -1,3 +1,2 @@
 import Batteries.Data.HashMap.Basic
 import Batteries.Data.HashMap.Lemmas
-import Batteries.Data.HashMap.WF
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,2 @@`
`1`	`1`	`import Batteries.Data.HashMap.Basic`
`2`	`2`	`import Batteries.Data.HashMap.Lemmas`
`3`		`-import Batteries.Data.HashMap.WF`