diff --git a/src/lake/Lake/CLI/Help.lean b/src/lake/Lake/CLI/Help.lean index 8c567cade0..474be93891 100644 --- a/src/lake/Lake/CLI/Help.lean +++ b/src/lake/Lake/CLI/Help.lean @@ -690,7 +690,7 @@ public def helpCache : (cmd : String) → String | "add" => helpCacheAdd | "stage" => helpCacheStage | "unstage" => helpCacheUnstage -| "putStaged" => helpCachePutStaged +| "put-staged" => helpCachePutStaged | "clean" => helpCacheClean | "services" => helpCacheServices | _ => helpCacheCli