diff --git a/packages/gecode/clp_examples/sudoku.yap b/packages/gecode/clp_examples/sudoku.yap index a6ff99c3b..08a8230ac 100644 --- a/packages/gecode/clp_examples/sudoku.yap +++ b/packages/gecode/clp_examples/sudoku.yap @@ -6,7 +6,8 @@ :- use_module(library(maplist)). main :- - sudoku(Ex, Els), + ex(Ex, _), + sudoku(Ex, _My), fail. main.