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"