Fixing one off in the uniform_on_restart bug.#207

kieronqtran wants to merge 2 commits intoGecode:release/6.3.0Gecode/gecode:release/6.3.0from

kieronqtran:fix_uniform_on_restartkieronqtran/gecode:fix_uniform_on_restartCopy head branch name to clipboard