chocoteam/choco3 — pull request #113 by JLiangWaterloo (2013-06-16 19:59:58+00:00)
Title: Removed redundant propagator.

The same propagator is added twice to the union constraint.