diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 36a98664..d19c66d2 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 36a98664c2879d965931b261485716448a575ba3
+Subproject commit d19c66d2aa74c852c5e9d98038864678986d8447