diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 638f28b..6a55e27 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 638f28b2309b23ac432b2fc0f18fb4ea22c2f676
+Subproject commit 6a55e27fc6f8b1b23b24d6cf0053be6e58e0d4cd