# HG changeset patch
# User wenzelm
# Date 1363124643 -3600
# Node ID 950b897f95bb206049d815e3f383ba11fe56c3d5
# Parent  2aea76fe9c7335e4b712274d87216c76c1c4ae4d
proper path -- I/O was hidden due to permissiveness;

diff -r 2aea76fe9c73 -r 950b897f95bb src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Tue Mar 12 22:24:01 2013 +0100
+++ b/src/Pure/Thy/present.scala	Tue Mar 12 22:44:03 2013 +0100
@@ -35,7 +35,7 @@
     Isabelle_System.mkdirs(dir)
 
     val sessions0 =
-      try { read_sessions(dir + sessions_path) }
+      try { read_sessions(dir) }
       catch { case ERROR(_) => Nil case _: XML.XML_Atom => Nil case _: XML.XML_Body => Nil }
 
     val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList