changeset 53192 | 04df1d236e1c |
parent 52931 | ac6648c0c0fb |
child 54519 | 5fed81762406 |
--- a/src/Pure/PIDE/protocol.ML Sun Aug 25 17:17:48 2013 +0200 +++ b/src/Pure/PIDE/protocol.ML Sun Aug 25 20:32:26 2013 +0200 @@ -67,7 +67,7 @@ val (removed, assign_update, state') = Document.update old_id new_id edits state; val _ = List.app Execution.terminate removed; - val _ = Goal.purge_futures removed; + val _ = Execution.purge removed; val _ = List.app Isabelle_Process.reset_tracing removed; val _ =