From b1ca322c7c0639fb957481a24e1929976fee902b Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Fri, 18 Aug 2023 14:26:53 +0300
Subject: [PATCH] Fixes

---
 kmxwasm/kmxwasm/k-src/elrond-semantics | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 kmxwasm/kmxwasm/k-src/elrond-semantics

diff --git a/kmxwasm/kmxwasm/k-src/elrond-semantics b/kmxwasm/kmxwasm/k-src/elrond-semantics
deleted file mode 160000
index e12ad8f1..00000000
--- a/kmxwasm/kmxwasm/k-src/elrond-semantics
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit e12ad8f147308f51e367f51618e005844e58ae4d