added <xs:any namespace='##other'/> to documentElements
authorStephan Zednik <zednis@rpi.edu>
Thu, 27 Sep 2012 09:10:47 -0600
changeset 4488 d9863da309f8
parent 4487 c5174f100371
child 4489 7ee44a52248a
child 4494 d394d905b33b
added <xs:any namespace='##other'/> to documentElements
xml/schema/prov.xsd
--- a/xml/schema/prov.xsd	Thu Sep 27 02:56:55 2012 +0200
+++ b/xml/schema/prov.xsd	Thu Sep 27 09:10:47 2012 -0600
@@ -352,6 +352,8 @@
         <xs:element name="mentionOf"            type="prov:MentionOf"/>
 
         <xs:element name="collectionMemberOf"   type="prov:CollectionMemberOf"/>
+
+		<xs:any namespace="##other"/>
       </xs:choice>
     </xs:sequence>
   </xs:group>