src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Sat Dec 17 19:35:49 2022 +0100
+++ b/src/Pure/PIDE/document.scala	Sat Dec 17 19:44:14 2022 +0100
@@ -117,9 +117,6 @@
       def path: Path = Path.explode(File.standard_path(node))
       def master_dir_path: Path = Path.explode(File.standard_path(master_dir))
 
-      def expand: Name =
-        Name(path.expand.implode, master_dir_path.expand.implode, theory)
-
       def is_theory: Boolean = theory.nonEmpty
 
       def theory_base_name: String = Long_Name.base_name(theory)