Merge pull request #417 from ejgallego/vernacstate_remove_pcoq

[coq] Adapt to coq/coq#19187
rocq-archive · Jun 10, 2024 · 683b7de · 683b7de
2 parents 451e9a3 + a2b612a
commit 683b7de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/serapi/serapi_protocol.ml b/serapi/serapi_protocol.ml
@@ -619,8 +619,8 @@ let proof_state_of_st m = match m with
   | _ -> None
 
 let parsing_state_of_st m = match m with
-  | Stm.Valid (Some { Vernacstate.synterp = { parsing; _ }; _} ) ->
-    Some parsing
+  | Stm.Valid (Some { Vernacstate.synterp; _} ) ->
+    Some (Vernacstate.Synterp.parsing synterp)
   | _ -> None
 
 let context_of_st m = match m with