--- a/src/Pure/Thy/sessions.scala Sat Jun 05 20:20:25 2021 +0200
+++ b/src/Pure/Thy/sessions.scala Sat Jun 05 21:01:00 2021 +0200
@@ -1023,7 +1023,7 @@
def directories(dirs: List[Path], select_dirs: List[Path]): List[(Boolean, Path)] =
{
- val default_dirs = Isabelle_System.components().filter(is_session_dir)
+ val default_dirs = Components.directories().filter(is_session_dir)
for { (select, dir) <- (default_dirs ::: dirs).map((false, _)) ::: select_dirs.map((true, _)) }
yield (select, dir.canonical)
}