From: Markus Triska <triska@metalevel.at>
Date: Sat, 18 Apr 2020 12:33:11 +0000 (+0200)
Subject: use get_single_char/1
X-Git-Tag: v0.8.123~132^2^2~4^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=105e9c8e8887dbbb281454cabca323cb07dbe1b1;p=scryer-prolog.git

use get_single_char/1
---

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