From 9928dd247bf1dc621a841be6fcd8ff0596d60328 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Wed, 17 Dec 2025 20:57:19 +0400
Subject: [PATCH] Updated mir-semantics submodule

---
 p-token/test-properties/mir-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index e9bba40..3a78f86 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit e9bba40c9b6c2af474173ea4345960affcb3f689
+Subproject commit 3a78f868dacb420f44eafd7a056c14cf5c142d10