diff options
Diffstat (limited to 'xsd-frontend')
| -rw-r--r-- | xsd-frontend/parser.cxx | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/xsd-frontend/parser.cxx b/xsd-frontend/parser.cxx index 3f8200a..14187cc 100644 --- a/xsd-frontend/parser.cxx +++ b/xsd-frontend/parser.cxx @@ -558,19 +558,10 @@ namespace XSDFrontend if (!m.annotated_p () && ref.annotated_p ()) s_.new_edge<Annotates> (ref.annotation (), m); - // Type info. + // Type info. Can be missing for a substitution group member. // if (ref.typed_p ()) s_.new_edge<Belongs> (m, ref.type ()); - else - { - if (valid_) - { - wcerr << "ice: referenced instance '" << ns_name << "#" - << uq_name << "' is not typed" << endl; - abort (); - } - } } } catch (NotNamespace const& ex) |