# HG changeset patch
# User wenzelm
# Date 1672325689 -3600
# Node ID 294004c907c751fd6b179bac179ddc47f448e02f
# Parent  974f2c104f637bed6217e772bbc4528dc60989f6
tuned whitespace;

diff -r 974f2c104f63 -r 294004c907c7 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Thu Dec 29 15:39:18 2022 +0100
+++ b/src/Pure/Isar/toplevel.ML	Thu Dec 29 15:54:49 2022 +0100
@@ -777,8 +777,7 @@
 
             val future_proof =
               Proof.future_proof (fn state =>
-                Execution.fork
-                  {name = "Toplevel.future_proof", pos = pos_of head_tr, pri = ~1}
+                Execution.fork {name = "Toplevel.future_proof", pos = pos_of head_tr, pri = ~1}
                   (fn () =>
                     let
                       val State ((Proof (prf, (_, orig_gthy)), _), prev_thy) = st';