# HG changeset patch
# User wenzelm
# Date 1665919134 -7200
# Node ID f67e8a557b7d849d1cfceedd15db65f9960bbd90
# Parent  5f6c43eeff9038e83a129ca95154f0b2228655ec
tuned: clarified old_theory (in contrast to 4d5342898b1);

diff -r 5f6c43eeff90 -r f67e8a557b7d src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Sun Oct 16 13:10:47 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Oct 16 13:18:54 2022 +0200
@@ -613,8 +613,9 @@
           for (theory <- loaded_theories)
           yield {
             val node_name = theory.node_name
+            val old_theory = st.theories.get(node_name)
             val theory1 = theory.set_required(st1.is_required(node_name))
-            val edits = theory1.node_edits(st1.theories.get(node_name))
+            val edits = theory1.node_edits(old_theory)
             (edits, (node_name, theory1))
           }
         val file_edits =