Update builtins.pl

Simplifying docstring.
This commit is contained in:
Jason Hemann
2024-12-11 05:46:28 -05:00
committed by GitHub
parent eef9f74a68
commit e219e1c483

View File

@@ -768,8 +768,7 @@ read(Term) :-
%% read(+Stream, -Term).
%
% Read Term from the stream Stream with default options. **NOTE** This is not a general predicate
% to read input from a file or the user. Use other predicates like `phrase_from_file/2` for that.
% Same as read_term/3 with all default options.
read(Stream, Term) :-
read_term(Stream, Term, []).