Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/document_status.scala
changeset 73344 f5c147654661
parent 71601 97ccf48c2f0c
child 73359 d8a0e996614b 
--- a/src/Pure/PIDE/document_status.scala	Mon Mar 01 22:50:00 2021 +0100
+++ b/src/Pure/PIDE/document_status.scala	Mon Mar 01 23:17:47 2021 +0100
@@ -59,7 +59,7 @@
 
     def merge(status_iterator: Iterator[Command_Status]): Command_Status =
       if (status_iterator.hasNext) {
-        val status0 = status_iterator.next
+        val status0 = status_iterator.next()
         (status0 /: status_iterator)(_ + _)
       }
       else empty
isabelle