# HG changeset patch
# User wenzelm
# Date 1219344701 -7200
# Node ID 5ac9a0f9fad040c298829d400e922f3c55d70cf9
# Parent  b4656b671cce1fee11157660143ccda0cc677a3b
tuned comment;

diff -r b4656b671cce -r 5ac9a0f9fad0 src/Pure/General/xml.scala
--- a/src/Pure/General/xml.scala	Thu Aug 21 19:19:31 2008 +0200
+++ b/src/Pure/General/xml.scala	Thu Aug 21 20:51:41 2008 +0200
@@ -15,7 +15,7 @@
   case class Text(content: String) extends Tree
 
 
-  /* iterator over content */
+  /* iterate over content */
 
   private type State = Option[(String, List[Tree])]