diff --git a/docbuild/lake-manifest.json b/docbuild/lake-manifest.json
index 233875179..3609d26b5 100644
--- a/docbuild/lake-manifest.json
+++ b/docbuild/lake-manifest.json
@@ -73,10 +73,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6ff325e870ed89f86be10515f0e7297fa5a32845",
+   "rev": "f4a472560f78c59bbedd795fe041ec507f7d0582",
    "name": "cslib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "6ff325e870ed89f86be10515f0e7297fa5a32845",
+   "inputRev": "f4a472560f78c59bbedd795fe041ec507f7d0582",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/mathlib4",
diff --git a/guide/lake-manifest.json b/guide/lake-manifest.json
index 198a2fdd4..b8da10f21 100644
--- a/guide/lake-manifest.json
+++ b/guide/lake-manifest.json
@@ -73,10 +73,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6ff325e870ed89f86be10515f0e7297fa5a32845",
+   "rev": "f4a472560f78c59bbedd795fe041ec507f7d0582",
    "name": "cslib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "6ff325e870ed89f86be10515f0e7297fa5a32845",
+   "inputRev": "f4a472560f78c59bbedd795fe041ec507f7d0582",
    "inherited": true,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/mathlib4",