update mathlib

dwrensha · Jan 17, 2025 · aebd18f · aebd18f
1 parent cd81c4e
commit aebd18f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d341b315f12e5cd74cd0a8d9801321ce46cf5b94",
+   "rev": "1e848685d06aa590f4d67092c6005561054cfed5",
    "name": "tryAtEachStep",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a735a046975e54824906e4c1b96fa91aa75eabcc",
+   "rev": "a4c5ecf11c62609afc9440d23079c3a952a22610",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",