From dcf4cd8e17ac3370a23899149896ddaae03ac28b Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Thu, 25 Sep 2025 18:25:27 +0200
Subject: [PATCH] Update lakefile.toml

---
 lakefile.toml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lakefile.toml b/lakefile.toml
index 5c4e886..281da52 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -9,7 +9,6 @@ relaxedAutoImplicit = false
 [[require]]
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4.git"
-rev = "v4.24.0-rc1"
 
 [[lean_lib]]
 name = "Project"