From 4f4dcab17bcaa844f1c5d2af9a119daf18331899 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Tue, 3 Mar 2026 21:24:59 +1000
Subject: [PATCH] Updated 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 280f602c..c17566dc 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 280f602ce3b8223070da2f4e3e839fdb7e7d1ee0
+Subproject commit c17566dc5f0d128f1bf1b3d07c5b3b62c7e18d84