From 2d77ef4245742b54ad6ffdd7718517cb3b0ccc7f Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 18 Apr 2020 14:33:11 +0200
Subject: [PATCH] use get_single_char/1

---
 src/prolog/toplevel.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index fbf180ad..c426315e 100644
--- 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('   '),
-- 
2.54.0