From ca12a4b959b2178a5a0c638139a0cb8226da9492 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 2 Mar 2010 21:35:12 +0000 Subject: [PATCH] fix all_distinct/1 (patch from Markus Triska). --- library/clp/clpfd.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/library/clp/clpfd.pl b/library/clp/clpfd.pl index 5dbfc4512..5061b9cc2 100644 --- a/library/clp/clpfd.pl +++ b/library/clp/clpfd.pl @@ -127,6 +127,7 @@ :- expects_dialect(swi). +:- use_module(library(assoc)). :- use_module(library(apply)). :- use_module(library(error)). :- use_module(library(lists)). @@ -4382,7 +4383,7 @@ distinct(Vars) :- LFL =< LFR, maplist(put_free, FreeRight0), maximum_matching(FreeLeft), - sublist(free_node, FreeRight0, FreeRight), + include(free_node, FreeRight0, FreeRight), maplist(g_g0, FreeLeft), phrase(scc(FreeLeft), [s(0,[],g0_successors)], _), maplist(dfs_used, FreeRight),