src/Pure/System/isabelle_process.ML
changeset 52787 c143ad7811fc
parent 52786 9795ea654905
child 52799 6a4498b048b7
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Jul 30 11:54:57 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Jul 30 12:07:14 2013 +0200
     1.3 @@ -182,7 +182,7 @@
     1.4        | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
     1.5    in
     1.6      if continue then loop channel
     1.7 -    else (Future.shutdown (); Goal.reset_futures (); ())
     1.8 +    else (Future.shutdown (); Goal.reset_futures (); Execution.reset ())
     1.9    end;
    1.10  
    1.11  end;