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