FIXED: toplevel to use (newly renamed) read_from_chars/2

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 27783c45ec49c8c1ee49ee054d111a3592198ace..5df86d48c9c76982ba768929d305471ce46577ab 100644 (file)
--- 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,