# HG changeset patch
# User wenzelm
# Date 1558268096 -7200
# Node ID 9ebbb53f4b509406f01e6fa004618affa0f61779
# Parent  242c50877dd2498113e9260865bbcb9ec2b151e9
tuned whitespace;

diff -r 242c50877dd2 -r 9ebbb53f4b50 src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Sat May 18 13:23:36 2019 +0200
+++ b/src/Pure/PIDE/document.ML	Sun May 19 14:14:56 2019 +0200
@@ -812,7 +812,8 @@
                             forall (fn (name, (_, node)) => check_theory true name node) imports;
 
                         val (print_execs, common, (still_visible, initial)) =
-                          if imports_result_changed then (assign_update_empty, NONE, (true, true))
+                          if imports_result_changed
+                          then (assign_update_empty, NONE, (true, true))
                           else last_common keywords state node_required node0 node;
 
                         val common_command_exec =