amalgame/commit
FIXED: reference_mappings/2 needs to sort its results ...
author | Jacco van Ossenbruggen |
---|---|
Mon Sep 8 22:19:58 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Mon Sep 8 22:19:58 2014 +0200 | |
commit | b9e910a722599887710fd03e32de7139064e68f8 |
tree | afc9bdba0100dfe4ffa628337701cb605c32b2b8 |
parent | 9e12d452509262d0c5761d3b6bf28f31e5478fa8 |
Diff style: patch stat
diff --git a/lib/amalgame/ag_reference.pl b/lib/amalgame/ag_reference.pl index 549e254..2f67972 100644 --- a/lib/amalgame/ag_reference.pl +++ b/lib/amalgame/ag_reference.pl @@ -16,7 +16,8 @@ reference_mappings(Strategy, References) :- findall(R, is_reference_mapping(Strategy, R), RefGraphs), maplist(expand_node(Strategy), RefGraphs, MappingLists), - append(MappingLists, References). + append(MappingLists, References0), + sort(References0, References). %% is_reference(?Strategy, ?Reference) is nondet. %% is_reference(+Strategy, +Reference) is semidet.