From bd01f3e5ff2a3287d6e030c94bebb59f1f9d9dc7 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Thu, 22 Jan 2026 14:07:27 +1000
Subject: [PATCH] Updating mir semantics

---
 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 3a78f868..78963ad7 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 3a78f868dacb420f44eafd7a056c14cf5c142d10
+Subproject commit 78963ad76f7c8fcd68643ce52aab1f10110d1113