From 24cd47f279bff049a717b8349dd41cac07165011 Mon Sep 17 00:00:00 2001
From: Garmelon <11077553+Garmelon@users.noreply.github.com>
Date: Wed, 17 Jun 2026 17:31:01 +0000
Subject: [PATCH 1/2] chore: update toolchain v4.32.0-rc1

---
 lean-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean-toolchain b/lean-toolchain
index 18640c8b0..2694eb767 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.31.0
+leanprover/lean4:v4.32.0-rc1

From fdbf3b80b8a922917918554b300d33be09233074 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Wed, 17 Jun 2026 20:55:19 +0200
Subject: [PATCH 2/2] fix?

---
 makeTables.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makeTables.lean b/makeTables.lean
index 4beb0a710..a04e40a2b 100644
--- a/makeTables.lean
+++ b/makeTables.lean
@@ -374,7 +374,7 @@ def mkNumericValue : IO <| Array (UInt32 × UInt32 × NumericType) := do
   for d in UnicodeData.data do
     match d.numeric with
     | some (.decimal 0) =>
-      t := t.push (d.code, d.code + 9, .decimal 0)
+      t := t.push (d.code, d.code + 9, NumericType.decimal 0)
     | some (.digit v) =>
       match t.back! with
       | (c₀, c₁, n@(NumericType.digit x)) =>