# HG changeset patch
# User wenzelm
# Date 1459366428 -7200
# Node ID 146945b9e83c7c86fe2ca6ac4dc4103c4ef4dcd8
# Parent  5f5f11ee4d37a698a313c415c5fe98641fb0a817
tuned message;

diff -r 5f5f11ee4d37 -r 146945b9e83c src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Mar 30 21:16:22 2016 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Mar 30 21:33:48 2016 +0200
@@ -417,6 +417,6 @@
     def heap(name: String): Path =
       find_heap(name) getOrElse
         error("Unknown logic " + quote(name) + " -- no heap file found in:\n" +
-          cat_lines(input_dirs.map(dir => "  " + dir.implode)))
+          cat_lines(input_dirs.map(dir => "  " + dir.expand.implode)))
   }
 }