diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2005-10-12 15:26:23 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2005-10-12 15:26:23 +0000 |
| commit | e142eae2eb303a953dce4a551ce938f48945889e (patch) | |
| tree | 63d399c8cc6fa80f144852161783cd514b4607ed | |
| parent | f8beba52702f552d9defcc46e4f7c8f7b1ee45d7 (diff) | |
| download | scala-e142eae2eb303a953dce4a551ce938f48945889e.tar.gz scala-e142eae2eb303a953dce4a551ce938f48945889e.tar.bz2 scala-e142eae2eb303a953dce4a551ce938f48945889e.zip | |
Small change to remove pattern match inside pat...
Small change to remove pattern match inside pattern guard.
| -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 _ => |