--- a/src/Pure/PIDE/document.scala Mon Mar 01 22:50:00 2021 +0100
+++ b/src/Pure/PIDE/document.scala Mon Mar 01 23:17:47 2021 +0100
@@ -692,7 +692,7 @@
val other_node = get_node(other_node_name)
val iterator = other_node.command_iterator(revert(offset) max 0)
if (iterator.hasNext) {
- val (command0, _) = iterator.next
+ val (command0, _) = iterator.next()
other_node.commands.reverse.iterator(command0).find(command => !command.is_ignored)
}
else other_node.commands.reverse.iterator.find(command => !command.is_ignored)
@@ -1231,7 +1231,7 @@
!name.is_theory ||
{
val it = version.nodes(name).commands.reverse.iterator
- it.hasNext && command_states(version, it.next).exists(_.consolidated)
+ it.hasNext && command_states(version, it.next()).exists(_.consolidated)
}
def snapshot(