use get_single_char/1

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index e7eb3b7a4e3f58ffc1d4b3bb62e9e01c56f308d2..dc58c3860ad8daa6606b6ffc026d65d7634eb87f 100644 (file)
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -145,7 +145,7 @@
     ).
 
 '$read_input'(ThreadedGoals, NewVarList) :-
-    '$get_single_char'(C),
+    get_single_char(C),
     (  C == w ->
        nl,
        write('   '),