amalgame/commit
use predsort iso sort
| author | Jacco van Ossenbruggen |
|---|---|
| Thu Aug 29 12:26:18 2013 +0200 | |
| committer | Jacco van Ossenbruggen |
| Thu Aug 29 12:26:18 2013 +0200 | |
| commit | 437c974de8d6445c771e003352651f294d0a12d5 |
| tree | 2fa346f4ca64822cc8ce5fe9259fceed3d368abc |
| parent | 9e40a540dfec47a0b870b43bff1de363154830d3 |
Diff style: patch stat
diff --git a/lib/ag_modules/arity_select.pl b/lib/ag_modules/arity_select.pl index 5aa9920..3e7927e 100644 --- a/lib/ag_modules/arity_select.pl +++ b/lib/ag_modules/arity_select.pl @@ -60,8 +60,8 @@ select_n_1([align(S,T,P)|As], A1, A2) :- select_1_n(Mapping, Sel, Dis) :- predsort(ag_map:compare_align(target), Mapping, TargetSorted), select_1_n_(TargetSorted, Sel0, Dis0), - sort(Sel0, Sel), - sort(Dis0, Dis). + predsort(ag_map:compare_align(source),Sel0, Sel), + predsort(ag_map:compare_align(source),Dis0, Dis). select_1_n_([], [], []). select_1_n_([align(S,T,P)|As], A1, A2) :-