diff --git a/kmxwasm/src/kmxwasm/proofs.py b/kmxwasm/src/kmxwasm/proofs.py
index 534cf7a3..9188cb58 100644
--- 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})'