# HG changeset patch
# User wenzelm
# Date 1665929373 -7200
# Node ID 4556f76d216eebc3d883cf40fac11e44c6422734
# Parent  9783e79a37c6e2aca743f6ccbe54be4a6ea93bbb
proper result state (amending 954640e846d6);

diff -r 9783e79a37c6 -r 4556f76d216e 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))
       }
     }