amalgame/commit

PLDOC: fixed lists of lists comment

authorJacco van Ossenbruggen
Thu Aug 28 11:39:44 2014 +0200
committerJacco van Ossenbruggen
Thu Aug 28 11:39:44 2014 +0200
commit31ee71dca956d2390cfa53c11c09a1e5b84fe2a0
tree5f631179b57a61cd161d2cb9ee6d354fd3220361
parenta83d5b648bb727474ade429c08f46cb6284df0d2
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, _) :- !.