Fix bug in handling untyped, ref'ed substitution group elements

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)