use get_single_char/1

This commit is contained in:
Markus Triska
2020-04-18 14:33:11 +02:00
parent 99e1a5f117
commit 105e9c8e88

View File

@@ -145,7 +145,7 @@
).
'$read_input'(ThreadedGoals, NewVarList) :-
'$get_single_char'(C),
get_single_char(C),
( C == w ->
nl,
write(' '),