[gecode-users] ViewArray::drop_lst(int i) ... not equal to ViewArray::size(i+1) !?!?!

[Guido Tack]

Hi.

> I do not know whether anything has been changed by now and this  
> response can be neglected
> or whether you are referring to the latest online documentation  
> available. As far as I can see the latest doc
>
> http://www.gecode.org/gecode-doc-latest/classGecode_1_1ViewArray.html
>
> say's    n = i + 1

This is not about documentation but implementation. In kernel/ 
array.icc:579 the size is changed to i+i. This does not make any  
sense, so I've fixed it.

Cheers,
	Guido