--- a/src/Pure/PIDE/session.scala Fri Dec 18 12:57:25 2020 +0100
+++ b/src/Pure/PIDE/session.scala Fri Dec 18 23:19:07 2020 +0100
@@ -452,7 +452,9 @@
for { (_, edit) <- change.doc_edits } {
edit.foreach({ case (c1, c2) => c1.foreach(id_command); c2.foreach(id_command) })
}
- if (id_commands.nonEmpty) prover.get.define_commands_bulk(id_commands.toList)
+ if (id_commands.nonEmpty) {
+ prover.get.define_commands_bulk(resources, id_commands.toList)
+ }
}
val assignment = global_state.value.the_assignment(change.previous).check_finished