Merge pull request #2698 from jasonhemann/patch-5

Documentation for read/2
2024-12-13 20:02:50 -07:00
parent b919a39b96 e219e1c483
commit ce6a0a1541
1 changed files with 3 additions and 0 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -766,6 +766,9 @@ read(Term) :-
    read_term(Stream, Term, []).
    % read(Stream, Term).

+%% read(+Stream, -Term).
+%
+% Same as read_term/3 with all default options.
 read(Stream, Term) :-
    read_term(Stream, Term, []).