amalgame/commit

FIXED: sort_align issues

authorJacco van Ossenbruggen
Mon Mar 2 15:31:38 2020 +0100
committerJacco van Ossenbruggen
Mon Mar 2 15:31:38 2020 +0100
commitbc8755516caa37e97350f936cda6e1e0237d1656
treed910c1ab1cbb652e5fb53fb98a8b0b6af03bc6f6
parentd655ef2bad47acc5809791426f7452130528e28c
Diff style: patch stat
diff --git a/lib/ag_modules/label_selecter.pl b/lib/ag_modules/label_selecter.pl
index 252188e..ac6d6ac 100644
--- a/lib/ag_modules/label_selecter.pl
+++ b/lib/ag_modules/label_selecter.pl
@@ -10,7 +10,6 @@
 :- use_module(library(lists)).
 :- use_module(library(option)).
 :- use_module(library(pairs)).
-:- use_module(library(sort)).
 :- use_module(library(amalgame/map)).
 
 :- meta_predicate label_selecter(3, +, -, -, -, +).
@@ -19,11 +18,11 @@ label_selecter(Matcher, In, Sel, Dis, Und, Options) :-
 	option(type(SourceOrTarget), Options, all),
 	(   SourceOrTarget \= source
 	->  label_selecter(SourceOrTarget, Matcher, In, Sel, Dis, Und, Options)
-	;   predsort(ag_map:compare_align(target), In, InT),
+	;   sort_align(target, In, InT),
 	    label_selecter(SourceOrTarget, Matcher, InT, Sel0, Dis0, Und0, Options),
-	    predsort(ag_map:compare_align(source), Sel0,  Sel),
-	    predsort(ag_map:compare_align(source), Dis0,  Dis),
-	    predsort(ag_map:compare_align(source), Und0,  Und)
+	    sort_align(source, Sel0,  Sel),
+	    sort_align(source, Dis0,  Dis),
+	    sort_align(source, Und0,  Und)
 	).
 
 label_selecter(  _, _, [],  [],  [],  [], _).