diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
index 4d8344e..31f4eff 160000
--- a/p-token/test-properties/mir-semantics
+++ b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 4d8344edfb6316fbc18d4ce25e1a536a7b5dfa68
+Subproject commit 31f4eff1bde98b42f63d634388f1d40f1875bf36