use get_single_char/1

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