diff --git a/flake.lock b/flake.lock
index 8e8c1d93..1937f121 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1551,11 +1551,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1720491570,
-        "narHash": "sha256-PHS2BcQ9kxBpu9GKlDg3uAlrX/ahQOoAiVmwGl6BjD4=",
+        "lastModified": 1720577957,
+        "narHash": "sha256-RZuzLdB/8FaXaSzEoWLg3au/mtbuH7MGn2LmXUKT62g=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "b970af40fdc4bd80fd764796c5f97c15e2b564eb",
+        "rev": "a434177dfcc53bf8f1f348a3c39bfb336d760286",
         "type": "github"
       },
       "original": {
diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml
index 038ca12a..12bb8442 100644
--- a/kmxwasm/pyproject.toml
+++ b/kmxwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmxwasm"
-version = "0.1.73"
+version = "0.1.74"
 description = "Symbolic execution for the MultiversX blockchain with the Wasm semantics, using pyk."
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/package/version b/package/version
index 416eb55e..21f074df 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.73
+0.1.74