From 506ea25b10a3da546c757fbb48571f6e283b43cf Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Sat, 16 May 2026 12:28:25 +0000
Subject: [PATCH] struct: lambda tags check fix in model

---
 model_with_structures/model.typ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model_with_structures/model.typ b/model_with_structures/model.typ
index 42d7b14..ba72acc 100644
--- a/model_with_structures/model.typ
+++ b/model_with_structures/model.typ
@@ -1385,7 +1385,7 @@ $s in stmt, f in X, x in X, a in X, p in path, pi in revpath$
   rule(
     name: [ lambda check],
 
-    $mu ttags lambda space overline(s) :$,
+    $mu ttags lambda space overline(s) : lambda overline(t)$,
   )
 ))
 #align(center, prooftree(