# HG changeset patch
# User wenzelm
# Date 1672659260 -3600
# Node ID 1ffd8f92983fe3de348ab9acda28dd7850399ecf
# Parent  f95ed5a0600c7ff8bfd358705841e19889678ff8
tuned;

diff -r f95ed5a0600c -r 1ffd8f92983f src/Pure/PIDE/protocol.scala
--- 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
       }
   }