tuned whitespace;
authorwenzelm
Sun, 19 May 2019 14:14:56 +0200
changeset 70468 9ebbb53f4b50
parent 70467 242c50877dd2
child 70469 3e17c3a5fd39
tuned whitespace;
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 =