diff options
Diffstat (limited to 'sources/scala/xml/parsing/MarkupHandler.scala')
-rw-r--r-- | sources/scala/xml/parsing/MarkupHandler.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/xml/parsing/MarkupHandler.scala b/sources/scala/xml/parsing/MarkupHandler.scala index 21710759d7..d2f35cc728 100644 --- a/sources/scala/xml/parsing/MarkupHandler.scala +++ b/sources/scala/xml/parsing/MarkupHandler.scala @@ -34,7 +34,7 @@ abstract class MarkupHandler extends AnyRef with Logged { var ent: Map[String, EntityDecl] = new HashMap[String, EntityDecl](); def lookupElemDecl(Label: String): ElemDecl = { - def lookup(xs:List[Decl]): ElemDecl = xs.match { + def lookup(xs:List[Decl]): ElemDecl = xs match { case (z @ ElemDecl(Label, _)) :: zs => return z; case _::zs => lookup(zs); case _ => return null |