diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 3a78f868..78963ad7 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 3a78f868dacb420f44eafd7a056c14cf5c142d10
+Subproject commit 78963ad76f7c8fcd68643ce52aab1f10110d1113