empty redefine element

While the model content for xsd:redefine [1] seems to accept empty
content:

Content: (annotation | (attributeGroup | complexType | group |
simpleType))*

should accept empty content, xsv crashes (full dump below) on:

<xsd:redefine schemaLocation="character12.xsd"/>

(it works fine when I replace redefine by include or add a
redefinition).

Thanks

Eric

[1] http://www.w3.org/TR/2000/CR-xmlschema-1-20001024/#modify-schema
----------
<?xml version='1.0'?>
<xsv crash='true' docElt='{None}book' instanceAssessed='true'
instanceErrors='0'
 schemaDocs='library13.xsd' schemaErrors='0' schemaLocs=''
target='file:/C:/Java
/Formations/xmlschemas/library1.xml' validation='lax' version='XSV
1.173/1.80 of
 2000/10/18 15:54:58' xmlns='http://www.w3.org/2000/05/xsv'>
<includeAttempt
URI='file:/C:/Java/Formations/xmlschemas/character12.xsd' outcom
e='success'/>
<bug>validator crash during schema reading</bug>
<XMLMessages>
Warning: Document has no DTD, validating abandoned
 (detected at end of prolog of document
file:/C:/Java/Formations/xmlschemas/libr
ary13.xsd)
Warning: Document has no DTD, validating abandoned
 (detected at end of prolog of document
file:/C:/Java/Formations/xmlschemas/char
acter12.xsd)
</XMLMessages>
</xsv>
Traceback (most recent call last):
  File "<string>", line 864, in ?
__main__.SchemaValidationError: Traceback (most recent call last):
  File "<string>", line 536, in runit
  File "d:/work/XMLinter/xmlschema\XMLSchema.py", line 148, in fromFile
  File "d:\work\xmlinter\xmlschema\layer.py", line 163, in fromFile
  File "d:\work\xmlinter\xmlschema\layer.py", line 234, in
processElement
  File "d:\work\xmlinter\xmlschema\layer.py", line 271, in
processElement
  File "d:/work/XMLinter/xmlschema\XMLSchema.py", line 2349, in init
AttributeError: 'redefineElt' instance has no attribute 'dds'


-- 
------------------------------------------------------------------------
Eric van der Vlist       Dyomedea                    http://dyomedea.com
http://xmlfr.org         http://4xt.org              http://ducotede.com
------------------------------------------------------------------------

Received on Monday, 6 November 2000 10:53:14 UTC