Merge pull request #1232 from triska/toplevel_read_from_chars

FIXED: toplevel to use (newly renamed) read_from_chars/2
2022-01-17 17:44:58 -07:00
parent 413f797155 6a610ac57d
commit 89e33903b2
1 changed files with 1 additions and 1 deletions
--- 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,