Space XML upload error: name must have two characters

I've had trouble uploading space XML. In particular, subspaces in the XML that have (e.g.) name="A" will fail, because StarExec requires them to be at least two characters.

There are spaces on StarExec with 1-character names (I found this when creating a copy of the new SMT-LIB library space hierarchy), and thus you cannot copy a hierarchy with such a subspace into another space via the download-then-upload-XML method. My XML validates against the XSD (because in the XSD, PrimitiveNames are explicitly permitted to be 1 character in length).

Any chance this is fixed by June 15th, 2014?

-- David.

Sorry for the late reply, but this bug should be resolved now. Thank you very much for bringing it to our attention.

I confirm that I managed to upload XML specifying names with a single character.

Thanks,

-- David.