toplevel.pl: fix arity mismatch in read_input/2

I ran into the same problem today and I figured I'd take a stab at it.
Unfortunately, I'm not certain it is the right approach, but it no
longer errors like it did before.

Fixes #2650.

Signed-off-by: Stephan Renatus <[email protected]>

diff --git a/src/toplevel.pl b/src/toplevel.pl
index e60791067042c6eb8f05d4549b46a49c3197a9b2..a96172527c12cab2e32a15421b83ebd5560854c7 100644 (file)
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -357,17 +357,17 @@ read_input(LeafAnswer, Stop) :-
           nl,
           write('   '),
           write_leaf_answer(LeafAnswer, [depth(deep)]),
-          read_input(LeafAnswer)
+          read_input(LeafAnswer, Stop)
        ;  C = p ->
           nl,
           write('   '),
           write_leaf_answer(LeafAnswer, [depth(shallow)]),
-          read_input(LeafAnswer)
+          read_input(LeafAnswer, Stop)
        ;  member(C, [';', ' ', n]) ->
           nl, write(';  ')
        ;  C = h ->
           help_message,
-          read_input(LeafAnswer)
+          read_input(LeafAnswer, Stop)
        ;  C = a ->
           bb_put('$report_all', true),
           nl, write(';  ')
@@ -376,7 +376,7 @@ read_input(LeafAnswer, Stop) :-
           More is 5 - Count mod 5,
           bb_put('$report_n_more', More),
           nl, write(';  ')
-       ;  read_input(LeafAnswer)
+       ;  read_input(LeafAnswer, Stop)
        )
     ).