# HG changeset patch
# User wenzelm
# Date 1502185775 -7200
# Node ID 753eb5b833705444ac0639646156dc66de6fd231
# Parent  911f950510e028943c84b0b5cc9f7eedba444ae7
tuned;

diff -r 911f950510e0 -r 753eb5b83370 src/Pure/Thy/thy_info.ML
--- 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) |