src/Pure/PIDE/protocol.ML
changeset 49931 85780e6f8fd2
parent 49647 21ae8500d261
child 50201 c26369c9eda6
     1.1 --- a/src/Pure/PIDE/protocol.ML	Thu Oct 18 19:12:58 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Thu Oct 18 19:58:30 2012 +0200
     1.3 @@ -59,7 +59,7 @@
     1.4                in pair int (list (pair int (option int))) end
     1.5                |> YXML.string_of_body);
     1.6  
     1.7 -        val _ = Goal.cancel_futures ();
     1.8 +        val _ = List.app Future.cancel_group (Goal.reset_futures ());
     1.9          val _ = Isabelle_Process.reset_tracing_limits ();
    1.10          val _ = Document.start_execution state';
    1.11        in state' end));