# HG changeset patch
# User wenzelm
# Date 1489784434 -3600
# Node ID 9cbc44f8e0d8118f0072bfbe10b6deb7675b5157
# Parent  dfbb1743034256f241e47c32e4e04cc43fba34ed
tuned;

diff -r dfbb17430342 -r 9cbc44f8e0d8 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Fri Mar 17 21:57:11 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Mar 17 22:00:34 2017 +0100
@@ -599,6 +599,8 @@
       if (system_mode) Path.explode("~~/heaps/$ML_IDENTIFIER")
       else Path.explode("$ISABELLE_OUTPUT")
 
+    override def toString: String = "Store(output_dir = " + output_dir.expand + ")"
+
     def prepare_output() { Isabelle_System.mkdirs(output_dir + Path.basic("log")) }
 
 
@@ -624,11 +626,6 @@
           cat_lines(input_dirs.map(dir => "  " + dir.expand.implode)))
 
 
-    /* print */
-
-    override def toString: String = "Store(output_dir = " + output_dir.expand + ")"
-
-
     /* session info */
 
     def write_session_info(