tuned;

--- 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;