From d9aedea5c3b8a27d72be0dec1cda1ee721f38d97 Mon Sep 17 00:00:00 2001
From: Mordan Vitalii <mordan@ispras.ru>
Date: Tue, 25 Jun 2024 21:36:02 +0500
Subject: [PATCH] Improve warning text

---
 scripts/mea/et/internal_witness.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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'