bug(#3869): more

objectionary · Feb 10, 2025 · 42cfdb8 · 42cfdb8
1 parent 0765379
commit 42cfdb8
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
@@ -96,7 +96,7 @@ SOFTWARE.
       </xs:documentation>
     </xs:annotation>
     <xs:restriction base="xs:string">
-      <xs:pattern value="^∅$|^\.(\^|@|[a-z][^\s.]*)$|^([Q$])(\.(\^|@|[a-z][^\s.]*))*$"/>
+      <xs:pattern value="∅|\.(\^|@|[a-z][^\s.]*|α[0-9]*)|([Q$])(\.(\^|@|[a-z][^\s.]*|α[0-9]*))*"/>
     </xs:restriction>
   </xs:simpleType>
   <xs:simpleType name="program-name">