Fixed a bug in the implementation of between/3. Reported by Bernd Gutmann.

This commit is contained in:
Paulo Moura 2011-02-04 12:38:05 +00:00
parent 94bdda200f
commit c95134e94d
1 changed files with 1 additions and 1 deletions

View File

@ -293,7 +293,7 @@ between(I,M,J) :-
(
var(J)
->
'$between'(I,M,J)
I =< M, '$between'(I,M,J)
;
integer(J)
->