From 449fbfa9dfd13e7f13e105822ea5bca10b63d450 Mon Sep 17 00:00:00 2001 From: Palina Tolmach Date: Wed, 15 Nov 2023 18:02:27 +0800 Subject: [PATCH] Correctly ordered arguments in `typed_args` (#2174) * Correctly ordered arguments in `typed_args` * Set Version: 1.0.357 --------- Co-authored-by: devops --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- kevm-pyk/src/kevm_pyk/kevm.py | 2 +- package/version | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index e0a3b26cb0..4e1ad329b6 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.356" +version = "1.0.357" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 5b5a0af88f..767e0c8fd5 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.356' +VERSION: Final = '1.0.357' diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py index e186d42d19..548a5c0e79 100644 --- a/kevm-pyk/src/kevm_pyk/kevm.py +++ b/kevm-pyk/src/kevm_pyk/kevm.py @@ -431,7 +431,7 @@ def intlist(ints: list[KInner]) -> KApply: @staticmethod def typed_args(args: list[KInner]) -> KInner: res = KEVM.empty_typedargs() - return build_cons(res, '_,__EVM-ABI_TypedArgs_TypedArg_TypedArgs', reversed(args)) + return build_cons(res, '_,__EVM-ABI_TypedArgs_TypedArg_TypedArgs', args) @staticmethod def accounts(accts: list[KInner]) -> KInner: diff --git a/package/version b/package/version index 51a921de2b..99d98ea697 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.356 +1.0.357