[Gecode] bug: equal and the empty set

[Guido Tack]

Hi Grégoire.

Grégoire Dooms wrote:
>> I also attach a patch against set/reified/propagators.cc 1.25
>> (this is a CVS version Christian sent me a few weeks ago - I have no
>> CVS access).
>[...]
> The previous patch does not fix it in other cases (two sets not equal
> but neither being empty).
> This one should be better;

Thanks a lot! I've already added your fix to the CVS. I'm very interested
in feedback on the set propagators, as they are less well tested than the
integers. Also, requests for propagators that should be there but aren't
are very welcome ;-)

Cheers,
   Guido