stricter "check" in XSD

objectionary · Nov 29, 2024 · 9f34a5d · 9f34a5d
1 parent 239b15f
commit 9f34a5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eo-parser/src/main/resources/XMIR.xsd b/eo-parser/src/main/resources/XMIR.xsd
@@ -180,7 +180,7 @@ SOFTWARE.
     </xs:annotation>
     <xs:simpleContent>
       <xs:extension base="non-empty">
-        <xs:attribute name="check" type="non-empty">
+        <xs:attribute name="check" type="sheet">
           <xs:annotation>
             <xs:appinfo>The name of the checker that found the error</xs:appinfo>
             <xs:documentation>