From 995136d46b7dc42c6175ef7f62d9e0e501e1eaf5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 2 Jun 2021 10:03:12 -0700 Subject: [PATCH] chore: fix test --- tests/lean/phashmap_inst_coherence.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/phashmap_inst_coherence.lean b/tests/lean/phashmap_inst_coherence.lean index 0b4c5d5093..9985cf2695 100644 --- a/tests/lean/phashmap_inst_coherence.lean +++ b/tests/lean/phashmap_inst_coherence.lean @@ -6,7 +6,7 @@ let m : PersistentHashMap Nat Nat := {}; m.insert 1 1 def natDiffHash : Hashable Nat := -⟨fun n => USize.ofNat $ n+10⟩ +⟨fun n => UInt64.ofNat $ n+10⟩ -- The following example should fail since the `Hashable` instance used to create `m` is not `natDiffHash` #eval @PersistentHashMap.find? Nat Nat _ natDiffHash m 1