Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Thu, 29 Dec 2022 15:54:49 +0100
changeset 76816 294004c907c7
parent 76815 974f2c104f63
child 76817 0eb3ea050fa9
tuned whitespace;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- 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';
isabelle