We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent de5d300 commit 3aa4504Copy full SHA for 3aa4504
kevm-pyk/src/kevm_pyk/kevm.py
@@ -106,6 +106,7 @@ def _patch_symbol_table(symbol_table: Dict[str, Any]) -> None:
106
symbol_table['_[_]_EVM-TYPES_Int_WordStack_Int'] = paren(symbol_table['_[_]_EVM-TYPES_Int_WordStack_Int'])
107
symbol_table['_++__EVM-TYPES_ByteArray_ByteArray_ByteArray'] = paren(symbol_table['_++__EVM-TYPES_ByteArray_ByteArray_ByteArray'])
108
symbol_table['_[_.._]_EVM-TYPES_ByteArray_ByteArray_Int_Int'] = paren(symbol_table['_[_.._]_EVM-TYPES_ByteArray_ByteArray_Int_Int'])
109
+ symbol_table['_up/Int__EVM-TYPES_Int_Int_Int'] = paren(symbol_table['_up/Int__EVM-TYPES_Int_Int_Int'])
110
if 'typedArgs' in symbol_table:
111
symbol_table['typedArgs'] = paren(symbol_table['typedArgs'])
112
# fmt: on
0 commit comments