--- 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
}
}