Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper result state (amending 954640e846d6);
authorwenzelm
Sun, 16 Oct 2022 16:09:33 +0200
changeset 76318 4556f76d216e
parent 76317 9783e79a37c6
child 76319 085b37d13d41
proper result state (amending 954640e846d6);
src/Pure/PIDE/headless.scala file | annotate | diff | comparison | revisions 
--- 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))
       }
     }
isabelle