diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index b62632183..aecfb5729 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -766,6 +766,9 @@ 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, []).