tuned whitespace;
authorwenzelm
Sun May 19 14:14:56 2019 +0200 (4 months ago)
changeset 702839ebbb53f4b50
parent 70282 242c50877dd2
child 70284 3e17c3a5fd39
tuned whitespace;
src/Pure/PIDE/document.ML
     1.1 --- a/src/Pure/PIDE/document.ML	Sat May 18 13:23:36 2019 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Sun May 19 14:14:56 2019 +0200
     1.3 @@ -812,7 +812,8 @@
     1.4                              forall (fn (name, (_, node)) => check_theory true name node) imports;
     1.5  
     1.6                          val (print_execs, common, (still_visible, initial)) =
     1.7 -                          if imports_result_changed then (assign_update_empty, NONE, (true, true))
     1.8 +                          if imports_result_changed
     1.9 +                          then (assign_update_empty, NONE, (true, true))
    1.10                            else last_common keywords state node_required node0 node;
    1.11  
    1.12                          val common_command_exec =