bump mathlib version to snapshot-2019-10

flypitch · Oct 8, 2019 · 57039ee · 57039ee
1 parent 355bd30
commit 57039ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "3.4.2"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "bfe9c6c16b699238dac814fb292fdb0f2ed6374e"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "4bb8d4475f897c8997100d31fe84b33050444374"}