diff --git a/lake-manifest.json b/lake-manifest.json
index 25d183b..f8e42d6 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -10,7 +10,7 @@
   {"git":
    {"url": "https://github.com/leanprover/lake",
     "subDir?": null,
-    "rev": "235383015cdcb0082777b0347b84dba01843c79c",
+    "rev": "d0b530530f14dde97a547b03abf87eee06360d60",
     "name": "lake",
     "inputRev?": "master"}},
   {"git":
diff --git a/lean-toolchain b/lean-toolchain
index ca5c312..a60621d 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-12-16
+leanprover/lean4:nightly-2022-12-22