From: Markus Triska Date: Tue, 18 Jan 2022 00:12:47 +0000 (+0100) Subject: FIXED: toplevel to use (newly renamed) read_from_chars/2 X-Git-Tag: v0.9.0^2~58^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6a610ac57da0ebacecfa5ddc0cc64d0edcd64762;p=scryer-prolog.git FIXED: toplevel to use (newly renamed) read_from_chars/2 --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 27783c45..5df86d48 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -112,7 +112,7 @@ run_goals([g(Gs0)|Goals]) :- ( ends_with_dot(Gs0) -> Gs1 = Gs0 ; append(Gs0, ".", Gs1) ), - read_term_from_chars(Gs1, Goal), + read_from_chars(Gs1, Goal), ( catch( user:Goal, Exception,