From 9bc3757a9e48e9fca4ae61627db0a92864eb43b1 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 24 Jun 2023 11:48:28 +0200 Subject: [PATCH] another case of "read" --> "get", for an only internally used predicate --- src/lib/charsio.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl index 0b69ca26..1fc120f0 100644 --- a/src/lib/charsio.pl +++ b/src/lib/charsio.pl @@ -299,17 +299,17 @@ get_line_to_chars(Stream, Cs0, Cs) :- get_n_chars(Stream, N, Cs) :- can_be(integer, N), ( var(N) -> - read_to_eof(Stream, Cs), + get_to_eof(Stream, Cs), length(Cs, N) ; N >= 0, '$get_n_chars'(Stream, N, Cs) ). -read_to_eof(Stream, Cs) :- +get_to_eof(Stream, Cs) :- '$get_n_chars'(Stream, 512, Cs0), ( Cs0 == [] -> Cs = [] ; partial_string(Cs0, Cs, Rest), - read_to_eof(Stream, Rest) + get_to_eof(Stream, Rest) ). %% chars_base64(?Chars, ?Base64, +Options). -- 2.54.0