Update eiffel_sudoku.ecf