src/Pure/System/isabelle_syntax.scala

--- a/src/Pure/System/isabelle_syntax.scala	Mon Mar 29 01:07:01 2010 -0700
+++ b/src/Pure/System/isabelle_syntax.scala	Mon Mar 29 22:43:56 2010 +0200
@@ -40,7 +40,7 @@
     result: StringBuilder)
   {
     result.append("(")
-    val elems = body.elements
+    val elems = body.iterator
     if (elems.hasNext) append_elem(elems.next, result)
     while (elems.hasNext) {
       result.append(", ")