fix all_distinct/1 (patch from Markus Triska).

2010-03-02 21:35:12 +00:00 · 2010-03-02 21:35:12 +00:00 · ca12a4b959
commit ca12a4b959
parent 145e66063b
1 changed files with 2 additions and 1 deletions
--- 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),