Updated mir-semantics submodule#142

jberthold merged 1 commit intoproofsruntimeverification/solana-token:proofsfrom

dc/update-mir-semantics-submoduleruntimeverification/solana-token:dc/update-mir-semantics-submoduleCopy head branch name to clipboard