Rename variables for LLVM backend compatibility (#1954)

* Rename variables * Set Version: 1.0.232 * Set Version: 1.0.233 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Jul 13, 2023 · c84e346 · c84e346
1 parent cf3b0f7
commit c84e346
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 11 deletions.
diff --git 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. <[email protected]>",

diff --git 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
@@ -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
@@ -1 +1 @@
-1.0.232
+1.0.233