chars_to_stream/1 should be char_stream/1

Author: [email protected]

src/lib/charsio.pl

@@ -416,10 +416,10 @@
         must_be(chars, Chars),
         maplist(put_char(Stream), Chars).
 
-%% chars_to_stream(-Stream)
+%% char_stream(-Stream)
 % Stream is a character stream.
 
-chars_to_stream(Stream) :-
+char_stream(Stream) :-
         '$memory_stream'(Stream).
 
 %% chars_to_stream(+Chars, -Stream) :-