verificationResult + abstract signal

cip4 · Jul 26, 2024 · 94ef621 · 94ef621
1 parent fda9dbe
commit 94ef621
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/xjdf.xsd b/xjdf.xsd
@@ -1209,7 +1209,7 @@
         </xs:complexContent>
     </xs:complexType>
 
-    <xs:element name="Signal" substitutionGroup="Message" type="Signal"/>
+    <xs:element abstract="true" name="Signal" substitutionGroup="Message" type="Signal"/>
     <xs:complexType name="Signal">
         <xs:complexContent>
             <xs:extension base="Message">
@@ -2718,7 +2718,7 @@
         </xs:complexContent>
     </xs:complexType>
 
-    <xs:element name="VerificationResult" substitutionGroup="SpecificResource" type="VerificationParams"/>
+    <xs:element name="VerificationResult" substitutionGroup="SpecificResource" type="VerificationResult"/>
     <xs:complexType name="VerificationResult">
         <xs:complexContent>
             <xs:extension base="SpecificResource">