tuned comment;
authorwenzelm
Thu, 21 Aug 2008 20:51:41 +0200
changeset 279425ac9a0f9fad0
parent 27941 b4656b671cce
child 27943 f34ff5e7728f
tuned comment;
src/Pure/General/xml.scala
     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