src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Fri Dec 16 14:06:31 2016 +0100
+++ b/src/Pure/Thy/thy_info.ML	Fri Dec 16 19:07:16 2016 +0100
@@ -159,7 +159,7 @@
     (*toplevel proofs and diags*)
     val _ = Future.join_tasks (maps Future.group_snapshot (Execution.peek exec_id));
     (*fully nested proofs*)
-    val res = Exn.capture Thm.join_theory_proofs theory;
+    val res = Exn.capture Thm.consolidate_theory theory;
   in res :: map Exn.Exn (maps Task_Queue.group_status (Execution.peek exec_id)) end;
 
 datatype task =