Improve warning text

ispras · Jun 25, 2024 · d9aedea · d9aedea
1 parent 5d94bb1
commit d9aedea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'