diff --git a/lakefile.lean b/lakefile.lean
index 77e34d7..ba2f386 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -7,7 +7,7 @@ package «doc-gen4» {
   dependencies := #[
     {
       name := `CMark
-      src := Source.git "https://github.com/xubaiw/CMark.lean" "925f2ab"
+      src := Source.git "https://github.com/xubaiw/CMark.lean" "0c59e4f"
     }
   ]
 }
diff --git a/lean-toolchain b/lean-toolchain
index 4b598af..7c2b6c2 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-02-11
+leanprover/lean4:nightly-2022-02-17