From 0e765d7f438c3258d6854f733ba4472aa8f1f4d1 Mon Sep 17 00:00:00 2001
From: dkcumming <daniel.cumming@runtimeverification.com>
Date: Mon, 17 Nov 2025 14:01:37 +1000
Subject: [PATCH] Updating 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 07fce852..370164c3 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 07fce85204abeffb19610280f3974b0094018813
+Subproject commit 370164c3f779de1cdf08ebfc4e51afc7989aeb71