amalgame/commit

FIXED: broken commit 7bcf02a186554f994fa29109045d1e5ea473a074

authorJacco van Ossenbruggen
Tue Sep 12 17:08:59 2017 +0200
committerJacco van Ossenbruggen
Tue Sep 12 17:08:59 2017 +0200
commit4e8cb9c76dce0b9823f8a48e4fda18d33363a760
tree4c2b3d47ebf7198b73c21243e9b7c818d63710e1
parentad9b055265934ebae31cca0c78bb61184dd8262f
Diff style: patch stat
diff --git a/components/amalgame/correspondence.pl b/components/amalgame/correspondence.pl
index fd8e304..b404c47 100644
--- a/components/amalgame/correspondence.pl
+++ b/components/amalgame/correspondence.pl
@@ -74,13 +74,19 @@ html_correspondences([A|As], Options) -->
         html_correspondence(A, Options),
         html_correspondences(As, Options).
 
+fill_in_correspondence(Evidence, Relation, Comment) :-
+	member(Method, Evidence),
+	option(relation(Relation), Method),
+	option(comment(Comment),   Method, ''),
+	!.
+
+fill_in_correspondence(_Evidence, undefined, '').
+
 html_correspondence(align(Source, Target, Evidence), Options) -->
         { length(Evidence, EvLength),
 	  option(relations(Relations), Options, []),
 	  (   option(mode('fill-in'), Options)
-	  ->  member(Method, Evidence),
-	      option(relation(Relation), Method),
-	      option(comment(Comment),   Method, '')
+	  ->  fill_in_correspondence(Evidence, Relation, Comment)
 	  ;   Comment = '', Relation = undefined
 	  )
         },