changeset 62769 | 146945b9e83c |
parent 62704 | 478b49f0d726 |
child 62864 | 2d5959cf3c1a |
--- 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))) } }