From c84e3466aa2ca2f4dea43870369b2ccab012e2f4 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Thu, 13 Jul 2023 13:50:19 +0100 Subject: [PATCH] Rename variables for LLVM backend compatibility (#1954) * Rename variables * Set Version: 1.0.232 * Set Version: 1.0.233 --------- Co-authored-by: devops --- kevm-pyk/pyproject.toml | 2 +- node/plugin-c/world.cpp | 16 ++++++++-------- package/debian/changelog | 2 +- package/version | 2 +- 4 files changed, 11 insertions(+), 11 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 91c2f957d9..329a544d6c 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.232" +version = "1.0.233" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/node/plugin-c/world.cpp b/node/plugin-c/world.cpp index 5a6eeb9518..74416c53fb 100644 --- a/node/plugin-c/world.cpp +++ b/node/plugin-c/world.cpp @@ -17,10 +17,10 @@ extern "C" { } std::string of_z_width(unsigned width, mpz_ptr i) { - mpz_t len; - mpz_init_set_ui(len, width); - string* token = hook_BYTES_int2bytes(len, i, tag_big_endian()); - mpz_clear(len); + mpz_t int_len; + mpz_init_set_ui(int_len, width); + string* token = hook_BYTES_int2bytes(int_len, i, tag_big_endian()); + mpz_clear(int_len); return std::string(token->data, len(token)); } @@ -30,10 +30,10 @@ std::string of_z(mpz_ptr i) { } size_t bits = mpz_sizeinbase(i, 2); size_t width = (bits + 8) / 8; - mpz_t len; - mpz_init_set_ui(len, width); - string* token = hook_BYTES_int2bytes(len, i, tag_big_endian()); - mpz_clear(len); + mpz_t int_len; + mpz_init_set_ui(int_len, width); + string* token = hook_BYTES_int2bytes(int_len, i, tag_big_endian()); + mpz_clear(int_len); return std::string(token->data, len(token)); } diff --git a/package/debian/changelog b/package/debian/changelog index 6932849622..b7eb788320 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kevm (1.0.232) unstable; urgency=medium +kevm (1.0.233) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index 01dfd0144f..40aa3d21e3 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.232 +1.0.233