diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index e9bba40..3a78f86 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit e9bba40c9b6c2af474173ea4345960affcb3f689
+Subproject commit 3a78f868dacb420f44eafd7a056c14cf5c142d10