diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 93fcb34..050e42f 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 93fcb3454154524170927f76a4ee8ea98203bf91
+Subproject commit 050e42f78e37492b81f6db67b56006c23d27c282