amalgame/commit
PLDOC: fixed lists of lists comment
author | Jacco van Ossenbruggen |
---|---|
Thu Aug 28 11:39:44 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Thu Aug 28 11:39:44 2014 +0200 | |
commit | 31ee71dca956d2390cfa53c11c09a1e5b84fe2a0 |
tree | 5f631179b57a61cd161d2cb9ee6d354fd3220361 |
parent | a83d5b648bb727474ade429c08f46cb6284df0d2 |
Diff style: patch stat
diff --git a/lib/ag_modules/map_merger.pl b/lib/ag_modules/map_merger.pl index e1034bb..4529cec 100644 --- a/lib/ag_modules/map_merger.pl +++ b/lib/ag_modules/map_merger.pl @@ -12,7 +12,7 @@ amalgame_module(amalgame:'MapMerger'). %% merge_mappings(+ListOfGraphs, -Merged) % -% Merge alignment terms. ListOfGraphs is ordered. +% Merge alignment terms. The lists in ListOfGraphs are ordered. merger([], [], _) :- !. merger([L], L, _) :- !.