author | wenzelm |
Thu, 21 Aug 2008 20:51:41 +0200 | |
changeset 27942 | 5ac9a0f9fad0 |
parent 27941 | b4656b671cce |
child 27943 | f34ff5e7728f |
1.1 --- a/src/Pure/General/xml.scala Thu Aug 21 19:19:31 2008 +0200 1.2 +++ b/src/Pure/General/xml.scala Thu Aug 21 20:51:41 2008 +0200 1.3 @@ -15,7 +15,7 @@ 1.4 case class Text(content: String) extends Tree 1.5 1.6 1.7 - /* iterator over content */ 1.8 + /* iterate over content */ 1.9 1.10 private type State = Option[(String, List[Tree])] 1.11