From ff2330af1a6e53822fc5169bc28356d7dd7f488b Mon Sep 17 00:00:00 2001
From: sgouezel <sebastien.gouezel@univ-rennes1.fr>
Date: Fri, 7 Apr 2023 16:34:34 +0200
Subject: [PATCH] should build?

---
 leanpkg.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/leanpkg.toml b/leanpkg.toml
index ae0fbd8..7382234 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.50.3"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "5ec62c8106221a3f9160e4e4fcc3eed79fe213e9"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "9dba31df156d9d65b9d78db449542ca73d147c68"}