From 333f6e81e62a4fc87e15bbb38fbc9aaa9a7f98c8 Mon Sep 17 00:00:00 2001
From: mariaKt <kotsifakou.maria@gmail.com>
Date: Thu, 9 Apr 2026 12:56:47 -0500
Subject: [PATCH] Update mir-semantics submodule

---
 p-token/test-properties/mir-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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