Updated leanpkg

linesthatinterlace · May 23, 2022 · 294f31a · 294f31a
1 parent 08cd072
commit 294f31a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.42.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "caa1352a5c963ac52492054784c9c734a4b71b4a"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "d08f73409464b55b0e8391aefb2a87479bef99e8"}