From b8476d7081787a0bf86803a8d9e0f6074c263ab3 Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Wed, 25 May 2016 11:38:28 +0300 Subject: [PATCH] io.streams-docs: fix some copy-paste errors --- core/io/io-docs.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/core/io/io-docs.factor b/core/io/io-docs.factor index e3fad5409d..a8fd0016d5 100644 --- a/core/io/io-docs.factor +++ b/core/io/io-docs.factor @@ -264,12 +264,12 @@ HELP: with-output-stream HELP: with-streams { $values { "input" "an input stream" } { "output" "an output stream" } { "quot" quotation } } -{ $description "Calls the quotation in a new dynamic scope, with " { $link input-stream } " rebound to " { $snippet "input" } " and " { $link output-stream } " rebound to " { $snippet "output" } ". The stream is closed if the quotation returns or throws an error." } ; +{ $description "Calls the quotation in a new dynamic scope, with " { $link input-stream } " rebound to " { $snippet "input" } " and " { $link output-stream } " rebound to " { $snippet "output" } ". The streams are closed if the quotation returns or throws an error." } ; HELP: with-streams* { $values { "input" "an input stream" } { "output" "an output stream" } { "quot" quotation } } { $description "Calls the quotation in a new dynamic scope, with " { $link input-stream } " rebound to " { $snippet "input" } " and " { $link output-stream } " rebound to " { $snippet "output" } "." } -{ $notes "This word does not close the stream. Compare with " { $link with-streams } "." } ; +{ $notes "This word does not close the streams. Compare with " { $link with-streams } "." } ; { with-input-stream with-input-stream* } related-words