From 3ad3e330065a06ff94b3ab161749a5d8a573a9a2 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Thu, 10 Jul 2014 11:21:07 -0700
Subject: [PATCH] io.launcher: Example is not very cross-platform.

---
 basis/io/launcher/launcher-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
     ""