diff -r e5ec449b4839 -r 86217697863c src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Mon Feb 06 16:26:40 2023 +0100
+++ b/src/Pure/General/file.scala	Mon Feb 06 16:29:19 2023 +0100
@@ -55,8 +55,7 @@
   /* symbolic path representation, e.g. "~~/src/Pure/ROOT.ML" */
 
   def symbolic_path(path: Path): String = {
-    val directories =
-      Library.space_explode(':', Isabelle_System.getenv("ISABELLE_DIRECTORIES")).reverse
+    val directories = space_explode(':', Isabelle_System.getenv("ISABELLE_DIRECTORIES")).reverse
     val full_name = standard_path(path)
     directories.view.flatMap(a =>
       try {