# HG changeset patch
# User wenzelm
# Date 1459861140 -7200
# Node ID cf03cb9578d4fafaea702da14480d6e97b16413c
# Parent  2d5959cf3c1ac5055695bf65274a2e594de16038
tuned output;

diff -r 2d5959cf3c1a -r cf03cb9578d4 src/Pure/Thy/thy_info.scala
--- a/src/Pure/Thy/thy_info.scala	Tue Apr 05 14:58:24 2016 +0200
+++ b/src/Pure/Thy/thy_info.scala	Tue Apr 05 14:59:00 2016 +0200
@@ -14,6 +14,9 @@
   sealed case class Dep(
     name: Document.Node.Name,
     header: Document.Node.Header)
+  {
+    override def toString: String = name.toString
+  }
 }
 
 class Thy_Info(resources: Resources)
@@ -94,6 +97,8 @@
       val dep_files = Par_List.map(loaded _, rev_deps)
       ((Nil: List[Path]) /: dep_files) { case (acc_files, files) => files ::: acc_files }
     }
+
+    override def toString: String = deps.toString
   }
 
   private def require_thys(session: String, initiators: List[Document.Node.Name],