Thanks! Fixed in the trunk. Christian
-- Christian Schulte, www.ict.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of victor.zverov...@gmail.com Sent: Saturday, June 22, 2013 12:20 AM To: users@gecode.org Subject: [gecode-users] bug in INT_VALUES_MAX 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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
