src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Sat Jun 05 20:15:06 2021 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Jun 05 20:20:25 2021 +0200
@@ -1014,7 +1014,7 @@
 
   /* load sessions from certain directories */
 
-  private def is_session_dir(dir: Path): Boolean =
+  def is_session_dir(dir: Path): Boolean =
     (dir + ROOT).is_file || (dir + ROOTS).is_file
 
   private def check_session_dir(dir: Path): Path =