From 91334d5fae08b049c0879d0585754d530a2173e7 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Thu, 24 Aug 2023 14:42:36 +0300
Subject: [PATCH] Update the Elrond semantics

---
 kmxwasm/k-src/elrond-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kmxwasm/k-src/elrond-semantics b/kmxwasm/k-src/elrond-semantics
index 9d4f88b2..abfeb41d 160000
--- a/kmxwasm/k-src/elrond-semantics
+++ b/kmxwasm/k-src/elrond-semantics
@@ -1 +1 @@
-Subproject commit 9d4f88b2dd55b249aea1e9e19ec1cb86b845716c
+Subproject commit abfeb41dea755ef8982ec4fcf9192b452bc045a9