Fix gecode test.
Format.