Backport PR coq#17743: [stm] fix regression introduced in de2d782

Zimmi48 · Jun 20, 2023 · c716867 · c716867
2 parents 88e420e + 5666ffa
commit c716867
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stm/stm.ml b/stm/stm.ml
@@ -2687,7 +2687,7 @@ let process_transaction ~doc ?(newtip=Stateid.fresh ()) x c =
             begin match w with
               | VtNow ->
                 (* We need to execute to get the new parsing state *)
-                ignore(finish ~doc:dummy_doc);
+                let () = ignore (observe ~doc:dummy_doc (VCS.get_branch_pos (VCS.current_branch ()))) in
                 let parsing = Vernacstate.Parser.cur_state () in
                 (* If execution has not been put in cache, we need to save the parsing state *)
                 if (VCS.get_info id).state == EmptyState then VCS.set_parsing_state id parsing;