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: stat patch
 components/amalgame/correspondence.pl | 2 ++
 1 file changed, 1 insertion(+), 1 deletion(-)