tuned message;
authorwenzelm
Wed Mar 30 21:33:48 2016 +0200 (2016-03-30 ago)
changeset 62769146945b9e83c
parent 62768 5f5f11ee4d37
child 62770 6e6cacf8fe50
tuned message;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Mar 30 21:16:22 2016 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Mar 30 21:33:48 2016 +0200
     1.3 @@ -417,6 +417,6 @@
     1.4      def heap(name: String): Path =
     1.5        find_heap(name) getOrElse
     1.6          error("Unknown logic " + quote(name) + " -- no heap file found in:\n" +
     1.7 -          cat_lines(input_dirs.map(dir => "  " + dir.implode)))
     1.8 +          cat_lines(input_dirs.map(dir => "  " + dir.expand.implode)))
     1.9    }
    1.10  }