src/Pure/Thy/present.scala

--- a/src/Pure/Thy/present.scala	Sat Apr 01 19:16:19 2017 +0200
+++ b/src/Pure/Thy/present.scala	Sat Apr 01 19:17:15 2017 +0200
@@ -50,7 +50,7 @@
     val path = dir + sessions_path
     if (path.is_file) {
       import XML.Decode._
-      list(pair(string, string))(YXML.parse_body(File.read(path)))
+      list(pair(string, string))(Symbol.decode_yxml(File.read(path)))
     }
     else Nil
   }