From 3f1167c2386bff8416e366f8b97dda74cbf281ef Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Wed, 10 Dec 2025 19:29:33 +1100
Subject: [PATCH] Upgrade mir-semantics dependency

---
 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 6ae3250..72f6884 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 6ae32502288a0daa8613d7d1d8cf1cb2b1da8cea
+Subproject commit 72f68841efadfe09ab7a7f1c11716762f3ca1a20