diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index d6e5f363..93fcb345 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit d6e5f363cc1458145e990d6275419d4841e83721
+Subproject commit 93fcb3454154524170927f76a4ee8ea98203bf91