diff --git a/scripts/mea/et/internal_witness.py b/scripts/mea/et/internal_witness.py index 078f3e2..aa3ac2e 100644 --- a/scripts/mea/et/internal_witness.py +++ b/scripts/mea/et/internal_witness.py @@ -374,7 +374,7 @@ def process_verifier_notes(self): if self._edges: last_edge = self._edges[-1] if 'note' in last_edge: - last_edge['warn'] = f"Violation of '{self.process_comment(last_edge['note'])}'" + last_edge['warn'] = f"{self.process_comment(last_edge['note'])}" del last_edge['note'] else: last_edge['warn'] = 'Property violation'