tuned;
authorwenzelm
Sun Sep 02 13:21:15 2018 +0200 (12 months ago)
changeset 68874cca5ca811714
parent 68873 13a984eba612
child 68875 7f0151c951e3
tuned;
src/Pure/PIDE/command.ML
     1.1 --- a/src/Pure/PIDE/command.ML	Sat Sep 01 23:30:44 2018 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Sun Sep 02 13:21:15 2018 +0200
     1.3 @@ -283,7 +283,8 @@
     1.4                read keywords thy master_dir init blobs_info span |> Toplevel.exec_id exec_id) ();
     1.5        in eval_state keywords span tr eval_state0 end;
     1.6    in
     1.7 -    Eval {command_id = command_id, exec_id = exec_id, eval_process = Lazy.lazy_name "Command.eval" process}
     1.8 +    Eval {command_id = command_id, exec_id = exec_id,
     1.9 +      eval_process = Lazy.lazy_name "Command.eval" process}
    1.10    end;
    1.11  
    1.12  end;