From edd5c007c88cc51d0fea2f5f4f7e82dfdc134335 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 11 Nov 2015 07:51:52 +0000 Subject: [PATCH] make sudoku work --- packages/gecode/clp_examples/sudoku.yap | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.