From 6a3368cbdf659c743ea467470821d20ee5c21f62 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Sat, 11 Apr 2026 14:54:39 +0000
Subject: [PATCH] structs model: remove unrequired def

---
 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 6670c1b..5071c36 100644
--- a/model_with_structures/model.typ
+++ b/model_with_structures/model.typ
@@ -181,7 +181,7 @@ $value$ - значения, которые могут лежать в перем
 
 == Semantics
 
-$V := memelem$ - значения памяти
+// $V := memelem$ - значения памяти
 
 $X$ - можество переменных