From e219e1c483b6b7960e0d8fd48558b1efc4e88bce Mon Sep 17 00:00:00 2001 From: Jason Hemann Date: Wed, 11 Dec 2024 05:46:28 -0500 Subject: [PATCH] Update builtins.pl Simplifying docstring. --- src/lib/builtins.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index e2513cc4..aecfb572 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -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, []). -- 2.54.0