Fixes

runtimeverification · Aug 18, 2023 · b1ca322 · b1ca322
1 parent 3147b9e
commit b1ca322
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kmxwasm/kmxwasm/k-src/elrond-semantics b/kmxwasm/kmxwasm/k-src/elrond-semantics