fix bad code in between (obs from Jose Santos).

This commit is contained in:
Vitor Santos Costa 2009-09-02 23:07:43 -05:00
parent 8bde2a0d72
commit 903358724d
1 changed files with 1 additions and 1 deletions

View File

@ -367,7 +367,7 @@ between(I,M,J) :-
integer(J)
->
J >= I
->
;
'$do_error'(type_error(integer, J),between(I,M,J))
)
;