chore(*): update to lean 3.13.2 (#2728)

This should fix the bug with the missing module doc strings in the documentation.
leanprover-community · May 18, 2020 · 434e6a6 · 434e6a6
1 parent 93119dd
commit 434e6a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.13.1"
+lean_version = "leanprover-community/lean:3.13.2"
 path = "src"
 
 [dependencies]