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

prioritynormal
typebug
done in0.31.4
load0.200
load left0.000
closed by#0f967bf3a5de Fix build against gecode 4.0.0
patchFix build against gecode 4.0.0 [applied]