tuned;

--- a/src/Pure/PIDE/protocol.scala	Mon Jan 02 12:29:08 2023 +0100
+++ b/src/Pure/PIDE/protocol.scala	Mon Jan 02 12:34:20 2023 +0100
@@ -25,8 +25,8 @@
   object Loading_Theory {
     def unapply(props: Properties.T): Option[(Document.Node.Name, Document_ID.Exec)] =
       (props, props, props) match {
-        case (Markup.Name(name), Position.File(file), Position.Id(id))
-        if Path.is_wellformed(file) => Some((Document.Node.Name(file, theory = name), id))
+        case (Markup.Name(theory), Position.File(file), Position.Id(id))
+        if Path.is_wellformed(file) => Some((Document.Node.Name(file, theory = theory), id))
         case _ => None
       }
   }