diff --git a/lake-manifest.json b/lake-manifest.json index df098d92919ba..09adba8286a84 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -65,7 +65,7 @@ "type": "git", "subDir": null, "scope": "leanprover-community", - "rev": "74dffd1a83cdd2969a31c9892b0517e7c6f50668", + "rev": "9e583efcea920afa13ee2a53069821a2297a94c0", "name": "batteries", "manifestFile": "lake-manifest.json", "inputRev": "main",