From 59ee1eb89d7c1018858250832ff1a92af0cbeab6 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Tue, 25 Jun 2024 10:34:24 +0200
Subject: Bump Lean to v4.9.0rc3 (#261)

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

(limited to 'tests/lean/lean-toolchain')

diff --git a/tests/lean/lean-toolchain b/tests/lean/lean-toolchain
index 29c0cea4..e5ea6600 100644
--- a/tests/lean/lean-toolchain
+++ b/tests/lean/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.9.0-rc2
+leanprover/lean4:v4.9.0-rc3
-- 
cgit v1.2.3