From b3ebf4e5cc30b09ba993468cae0821dd8e17de55 Mon Sep 17 00:00:00 2001
From: Riccardo Brasca <riccardo.brasca@gmail.com>
Date: Fri, 13 Dec 2024 10:59:49 -0300
Subject: [PATCH] bump

---
 lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 29f023b6..2378815e 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3c9302f1c89690f1c68477fe9f31c228847b7c46",
+   "rev": "658f6495b5cc142add209df9c45b314281a67d39",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,