From e142eae2eb303a953dce4a551ce938f48945889e Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Wed, 12 Oct 2005 15:26:23 +0000 Subject: Small change to remove pattern match inside pat... Small change to remove pattern match inside pattern guard. --- sources/scala/xml/dtd/ElementValidator.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sources/scala/xml/dtd/ElementValidator.scala b/sources/scala/xml/dtd/ElementValidator.scala index fcafcc1f48..7c5fe6d625 100644 --- a/sources/scala/xml/dtd/ElementValidator.scala +++ b/sources/scala/xml/dtd/ElementValidator.scala @@ -36,7 +36,7 @@ class ElementValidator() extends Function1[Node,Boolean] { . filter { x => x match { case y:SpecialNode => y match { - case a:Atom[String] if (a.data match { case t => t.trim().length == 0 }) => + case a:Atom[String] if (a.data.asInstanceOf[String].trim().length() == 0 ) => false; // always skip all-whitespace nodes case _ => -- cgit v1.2.3