diff options
Diffstat (limited to 'sources/scala/xml/dtd/ElementValidator.scala')
-rw-r--r-- | sources/scala/xml/dtd/ElementValidator.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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 _ => |