diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index a6dc6f11..4d8344ed 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit a6dc6f1118975389f3147ba17258776de0fe63ff
+Subproject commit 4d8344edfb6316fbc18d4ce25e1a536a7b5dfa68