# HG changeset patch
# User wenzelm
# Date 1489745757 -3600
# Node ID 75999f2a0c3849416a2bded8579624f3f762096c
# Parent  b661543a0de69c394b6a32d5a33835542c17c115
tuned message;

diff -r b661543a0de6 -r 75999f2a0c38 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Fri Mar 17 10:58:32 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Mar 17 11:15:57 2017 +0100
@@ -606,6 +606,11 @@
       find_heap(name) getOrElse
         error("Unknown logic " + quote(name) + " -- no heap file found in:\n" +
           cat_lines(input_dirs.map(dir => "  " + dir.expand.implode)))
+
+
+    /* print */
+
+    override def toString: String = "Store(output_dir = " + output_dir.expand + ")"
   }