src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Sat Dec 31 11:58:45 2022 +0100
+++ b/src/Pure/PIDE/protocol.scala	Sat Dec 31 12:10:14 2022 +0100
@@ -28,7 +28,7 @@
         case (Markup.Name(name), Position.File(file), Position.Id(id))
         if Path.is_wellformed(file) =>
           val master_dir = Path.explode(file).dir.implode
-          Some((Document.Node.Name(file, master_dir, name), id))
+          Some((Document.Node.Name(file, master_dir = master_dir, theory = name), id))
         case _ => None
       }
   }