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;
authorwenzelm
Tue, 08 Aug 2017 11:49:35 +0200
changeset 66377 753eb5b83370
parent 66372 911f950510e0
child 66378 53a6c5d4d03e
tuned;
src/Pure/Thy/thy_info.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_info.ML	Mon Aug 07 21:43:33 2017 +0200
+++ b/src/Pure/Thy/thy_info.ML	Tue Aug 08 11:49:35 2017 +0200
@@ -156,8 +156,8 @@
   let
     val _ = Execution.join [exec_id];
     val res = Exn.capture Thm.consolidate_theory theory;
-    val errs = maps Task_Queue.group_status (Execution.peek exec_id);
-  in res :: map Exn.Exn errs end;
+    val exns = maps Task_Queue.group_status (Execution.peek exec_id);
+  in res :: map Exn.Exn exns end;
 
 datatype task =
   Task of Path.T * string list * (theory list -> result) |
isabelle