Fix formatting help-lint

2008-12-15 21:44:48 -06:00 · 2008-12-15 21:44:48 -06:00 · fa3172f78e
parent 3f7706a620
commit fa3172f78e
1 changed files with 3 additions and 3 deletions
--- a/extra/formatting/formatting-docs.factor
+++ b/extra/formatting/formatting-docs.factor
@ -111,9 +111,9 @@ HELP: strftime
    } 
 } 
 { $examples 
-    { $example
-        "USING: calendar formatting ;"
-        "now \"%c\" strftime"
+    { $unchecked-example
+        "USING: calendar formatting io ;"
+        "now \"%c\" strftime print"
        "Mon Dec 15 14:40:43 2008" }
 } ;