diff --git a/basis/io/launcher/launcher-docs.factor b/basis/io/launcher/launcher-docs.factor index 7f95ba1cb0..992da3c981 100644 --- a/basis/io/launcher/launcher-docs.factor +++ b/basis/io/launcher/launcher-docs.factor @@ -169,7 +169,7 @@ HELP: kill-process { $values { "process" process } } { $description "Kills a running process. Does nothing if the process has already exited." } { $examples - { $example + { $unchecked-example "USING: io.launcher ;" "\"cat\" run-detached kill-process" ""