Fix broken stack

ispras · Jun 25, 2024 · 5d94bb1 · 5d94bb1
1 parent 9455d39
commit 5d94bb1
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
@@ -365,7 +365,7 @@ def process_verifier_notes(self):
                 else:
                     for cur_index in range(index, last_index):
                         if 'env' in self._edges[cur_index]:
-                            del self._edges[cur_index]
+                            del self._edges[cur_index]['env']
                             self._logger.debug(
                                 f"ENV comments brackets: remove ENV comment on the line {self._edges[cur_index]}")
             self._edges.insert(index, edge)