# HG changeset patch
# User wenzelm
# Date 1535887275 -7200
# Node ID cca5ca811714ddf9037704d435cbc89149345185
# Parent  13a984eba6125861a911dcd84ffe15984b4597ee
tuned;

diff -r 13a984eba612 -r cca5ca811714 src/Pure/PIDE/command.ML
--- 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;