diff --git a/Test.lean b/Test.lean
index 5fe32cf..bd74231 100644
--- a/Test.lean
+++ b/Test.lean
@@ -658,8 +658,8 @@ _private.Init.Prelude.0.Nat.lt_or_ge.match_1_5
 _private.Init.Prelude.0.Nat.lt_or_ge.match_1_3
 Nat.le_succ_of_le
 _private.Init.Prelude.0.Nat.lt_or_ge.match_1_1
-Nat.eq_or_lt_of_le.match_3
-Nat.eq_or_lt_of_le.match_1
+_private.Init.Prelude.0.Nat.eq_or_lt_of_le.match_1_3
+_private.Init.Prelude.0.Nat.eq_or_lt_of_le.match_1_1
 Nat.eq_or_lt_of_le._f
 Nat.eq_or_lt_of_le
 Nat.lt_or_ge._f
diff --git a/lean-toolchain b/lean-toolchain
index 18640c8..2694eb7 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.31.0
+leanprover/lean4:v4.32.0-rc1