diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 07fce85..370164c 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 07fce85204abeffb19610280f3974b0094018813
+Subproject commit 370164c3f779de1cdf08ebfc4e51afc7989aeb71