src/Pure/Thy/present.ML
changeset 51415 8a33d581718b
parent 51401 f390b59b4b4a
child 51419 5313abe76bd4
     1.1 --- a/src/Pure/Thy/present.ML	Wed Mar 13 13:23:16 2013 +0100
     1.2 +++ b/src/Pure/Thy/present.ML	Wed Mar 13 14:57:16 2013 +0100
     1.3 @@ -44,7 +44,7 @@
     1.4  val graph_pdf_path = Path.basic "session_graph.pdf";
     1.5  val graph_eps_path = Path.basic "session_graph.eps";
     1.6  
     1.7 -fun show_path path = Path.implode (Path.append (File.pwd ()) path);
     1.8 +fun show_path path = Path.implode (Path.expand (Path.append (File.pwd ()) path));
     1.9  
    1.10  
    1.11