use get_single_char/1

This commit is contained in:
Markus Triska
2020-04-18 14:33:11 +02:00
committed by Mark Thom
parent 3f578e24b5
commit 2d77ef4245

View File

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