src/Pure/Thy/sessions.scala
changeset 70693 0fec12eabad0
parent 70687 086575316fd5
child 70712 a3cfe859d915
--- a/src/Pure/Thy/sessions.scala	Thu Sep 12 16:52:04 2019 +0200
+++ b/src/Pure/Thy/sessions.scala	Thu Sep 12 17:17:52 2019 +0200
@@ -384,7 +384,9 @@
               val errs2 =
                 if (bad_dirs.isEmpty) Nil
                 else List("Implicit use of session directories: " + commas(bad_dirs))
-              errs1 ::: errs2
+              val errs3 = for (p <- info.dirs if !p.is_dir) yield "No such directory: " + p
+
+              errs1 ::: errs2 ::: errs3
             }
 
             val sources_errors =