[eclipse-users] Changes on indomain/1 ?

Hi,

Can somebody explain me why the call to ic:indomain(?X) fails on large 
intervals !

[eclipse 10]: lib(ic), X #:: -2147483648..2147483647, ic:indomain(X).
out of range in indomain(X{-2147483648 .. 2147483647})
Abort

While the following succeeds !

[eclipse 11]: lib(ic), X #:: -2147483648..2147483647, ic:indomain(X,min).
X = -2147483648
Yes (0.00s cpu, solution 1, maybe more) ?

In the documentation of indomain(?Var, ++Method) it is stated:
min : This behaves like the built-in indomain/1, except that it removes 
previously tested values on backtracking.

Actually, it succeeded on ECLiPSe 5.8 and it fails on ECLiPSe 5.10!

Thanks in advance,
Besnik