diff --git a/pl/arith.yap b/pl/arith.yap index 033e45599..b8708cf05 100644 --- a/pl/arith.yap +++ b/pl/arith.yap @@ -293,7 +293,7 @@ between(I,M,J) :- ( var(J) -> - '$between'(I,M,J) + I =< M, '$between'(I,M,J) ; integer(J) ->