From 79ab1b7da161cbba5f637cf11322443513927091 Mon Sep 17 00:00:00 2001
From: Yegor Bugayenko <yegor256@gmail.com>
Date: Sun, 8 Dec 2024 14:39:59 +0300
Subject: [PATCH] comment

---
 eo-parser/src/main/resources/XMIR.xsd | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/eo-parser/src/main/resources/XMIR.xsd b/eo-parser/src/main/resources/XMIR.xsd
index ec19c230ad..aa8d1b4dcc 100644
--- a/eo-parser/src/main/resources/XMIR.xsd
+++ b/eo-parser/src/main/resources/XMIR.xsd
@@ -181,10 +181,19 @@ SOFTWARE.
         </xs:documentation>
       </xs:annotation>
     </xs:attribute>
-    <xs:attribute name="star" type="empty"/>
     <xs:attribute name="as" type="attribute-name"/>
     <xs:attribute name="atom" type="function-name"/>
     <xs:attribute name="loc" type="locator"/>
+    <!--
+    The following three are definitely temporary and should
+    be removed from XMIR. However, we can't remove them
+    now: they are created by the parser, then used by
+    the optimizer, and then removed. Since we check XML documents for
+    XSD compliance after the parsing phase, we can't remove them
+    now. We will remove them later, when we will have a separate
+    XSD for the parser output (maybe).
+    -->
+    <xs:attribute name="star" type="empty"/>
     <xs:attribute name="method" type="empty"/>
     <xs:attribute name="const" type="empty"/>
   </xs:complexType>