src/Pure/PIDE/headless.scala

--- a/src/Pure/PIDE/headless.scala	Sun Oct 16 15:35:38 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Oct 16 16:09:33 2022 +0200
@@ -247,7 +247,7 @@
         val (load_theories, load_state1) =
           load_state.next(dep_graph, consolidated(state, version, _))
 
-        (load_theories.filterNot(committed), copy(result = result1, load_state = load_state1))
+        (load_theories.filterNot(committed), st1.copy(result = result1, load_state = load_state1))
       }
     }