--- a/src/Pure/PIDE/command.ML Sat Sep 01 23:30:44 2018 +0200
+++ b/src/Pure/PIDE/command.ML Sun Sep 02 13:21:15 2018 +0200
@@ -283,7 +283,8 @@
read keywords thy master_dir init blobs_info span |> Toplevel.exec_id exec_id) ();
in eval_state keywords span tr eval_state0 end;
in
- Eval {command_id = command_id, exec_id = exec_id, eval_process = Lazy.lazy_name "Command.eval" process}
+ Eval {command_id = command_id, exec_id = exec_id,
+ eval_process = Lazy.lazy_name "Command.eval" process}
end;
end;