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