Update kmxwasm/src/kmxwasm/proofs.py

Co-authored-by: Burak Bilge Yalçınkaya <[email protected]>
runtimeverification · Aug 28, 2023 · 0611560 · 0611560
1 parent 91334d5
commit 0611560
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kmxwasm/src/kmxwasm/proofs.py b/kmxwasm/src/kmxwasm/proofs.py
@@ -88,7 +88,6 @@ def _my_patch_symbol_table(cls, symbol_table: SymbolTable) -> None:
         symbol_table['_Map_'] = lambda c1, c2: f'({c1} {c2})'
         symbol_table['_Int2Bytes|->_'] = lambda c1, c2: f'({c1} Int2Bytes|-> {c2})'
         symbol_table['_MapIntwToBytesw_'] = lambda c1, c2: f'({c1} {c2})'
-        symbol_table['_MapIntwToBytesw_'] = lambda c1, c2: f'({c1} {c2})'
         symbol_table['MapIntswToBytesw:curly_update'] = lambda c1, c2, c3: f'({c1}){{ {c2} <- {c3} }}'
         symbol_table['_Bytes2Bytes|->_'] = lambda c1, c2: f'({c1} Bytes2Bytes|-> {c2})'
         symbol_table['_MapByteswToBytesw_'] = lambda c1, c2: f'({c1} {c2})'