rql #159002 fails to build against gecode 4 [validation pending]

priority	normal
type	bug
done in	0.31.4
load	0.200
load left	0.000
closed by	#0f967bf3a5de Fix build against gecode 4.0.0
patch	Fix build against gecode 4.0.0 [applied]

from state (3)	to state	date	User
done	validation pending	2013/08/08 12:08 UTC	narval
in-progress	done	2013/08/07 18:15 UTC
open	in-progress	2013/08/02 16:18 UTC

attachment

Ticket #159002 - latest update on 2013/08/08, created on 2013/08/02 by Julien Cristau