[gobo-eiffel-develop] Missing precondition in XM_DOCUMENT.make_with_root_name

[Eric B. <er...@go...>]

I have been reported the following bug in a private discussion:

~~~~~~~~~~
I did find a missing prerequisite in XM_DOCUMENT.make_with_root_name. It
doesn't require that argument `a_ns' is not Void, which can result in a
precondition violation when it turns around and tries to create
`root_element'.
~~~~~~~~~~

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com