update mathlib, no fix needed

leanprover-community · Jan 5, 2023 · cc683e2 · cc683e2
1 parent c97fd99
commit cc683e2
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.50.3"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "a437a2499163d85d670479f69f625f461cc5fef9"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "d1723c047a091ae3fca0af8aeab1743e1a898611"}