rql #159002 fails to build against gecode 4 [resolved]

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 (4)	to state	comment	date	User
validation pending	resolved	mass operation on Oct 29 2019	2019/10/29 17:36 UTC	admin
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 2019/10/29, created on 2013/08/02 by Julien Cristau