amalgame/commit

Fix backtrack logic to find manual eval relation further down the evidence list

authorJacco van Ossenbruggen
Mon Sep 11 14:01:38 2017 +0200
committerJacco van Ossenbruggen
Mon Sep 11 14:01:38 2017 +0200
commit7bcf02a186554f994fa29109045d1e5ea473a074
tree97a6573ee1dd6e52bb80edb43025c557eef65411
parent96aacff06f4a5f121fc7bf4eab13a701578539a4
Diff style: patch stat
diff --git a/components/amalgame/correspondence.pl b/components/amalgame/correspondence.pl
index 4906c4f..fd8e304 100644
--- a/components/amalgame/correspondence.pl
+++ b/components/amalgame/correspondence.pl
@@ -79,7 +79,7 @@ html_correspondence(align(Source, Target, Evidence), Options) -->
 	  option(relations(Relations), Options, []),
 	  (   option(mode('fill-in'), Options)
 	  ->  member(Method, Evidence),
-	      option(relation(Relation), Method, undefined),
+	      option(relation(Relation), Method),
 	      option(comment(Comment),   Method, '')
 	  ;   Comment = '', Relation = undefined
 	  )