From 9cc25c3effd8f4d639fb4cdf62db2bf291362b52 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 13 Apr 2008 03:47:51 -0500 Subject: [PATCH] Fix docs --- core/io/streams/duplex/duplex-docs.factor | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/core/io/streams/duplex/duplex-docs.factor b/core/io/streams/duplex/duplex-docs.factor index a745d07f4b..c9691af5ba 100755 --- a/core/io/streams/duplex/duplex-docs.factor +++ b/core/io/streams/duplex/duplex-docs.factor @@ -4,8 +4,7 @@ IN: io.streams.duplex ARTICLE: "io.streams.duplex" "Duplex streams" "Duplex streams combine an input stream and an output stream into a bidirectional stream." { $subsection duplex-stream } -{ $subsection } -{ $subsection check-closed } ; +{ $subsection } ; ABOUT: "io.streams.duplex"