Thanks! Fixed in the trunk. Christian
-- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of [email protected] Sent: Saturday, June 22, 2013 12:20 AM To: [email protected] 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
