Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 23 Feb 2012 18:14:58 +0100
changeset 46620 9aea30f3b954
parent 46619 08cb66dc7d2c
child 46621 7a8dd77c9f93
tuned;
src/Pure/General/linear_set.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/linear_set.scala	Thu Feb 23 17:27:37 2012 +0100
+++ b/src/Pure/General/linear_set.scala	Thu Feb 23 18:14:58 2012 +0100
@@ -141,8 +141,8 @@
   def contains(elem: A): Boolean =
     !isEmpty && (rep.end.get == elem || rep.nexts.isDefinedAt(elem))
 
-  private def make_iterator(start: Option[A], which: Map[A, A]): Iterator[A] = new Iterator[A] {
-    private var next_elem = start
+  private def make_iterator(from: Option[A], which: Map[A, A]): Iterator[A] = new Iterator[A] {
+    private var next_elem = from
     def hasNext(): Boolean = next_elem.isDefined
     def next(): A =
       next_elem match {
isabelle