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~140
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2d77ef4245742b54ad6ffdd7718517cb3b0ccc7f;p=scryer-prolog.git

use get_single_char/1
---

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('   '),