diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index c17566dc..7956bca3 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit c17566dc5f0d128f1bf1b3d07c5b3b62c7e18d84
+Subproject commit 7956bca364f58d3ec72fe151e0bebc4390103147