[gecode-users] bug in INT_VALUES_MAX

[victor.zverovich at gmail.com]

Hi,

There seems to be a trivial bug in INT_VALUES_MAX: SEL_VALUES_MIN is used
instead of SEL_VALUES_MAX. The attached patch fixes it.

Best regards,
Victor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130621/553569bc/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-INT_VALUES_MAX.patch
Type: application/octet-stream
Size: 689 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20130621/553569bc/attachment.obj>