From f9a3d6e3598263ee16717a0429d7ea59f50cb674 Mon Sep 17 00:00:00 2001 From: wada Date: Thu, 14 May 2020 01:59:58 +0900 Subject: [PATCH] bugfix around this error: local variable 'failure_log' referenced before assignment --- scripts/theorem.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/theorem.py b/scripts/theorem.py index a65abc5a..e2f3a327 100644 --- a/scripts/theorem.py +++ b/scripts/theorem.py @@ -200,7 +200,8 @@ def to_xml(self): for theorem in self.variations: t_node = etree.Element('theorem') ts_node.append(t_node) - if theorem.failure_log is None: + failure_log = theorem.failure_log + if failure_log is None: _, failure_log = theorem.prove_debug() t_node.set('inference_result', theorem.result_simple) t_node.set('is_negated', str(theorem.is_negated))