Merge pull request #419 from ejgallego/vernacstate_remove_parsing

[coq] Adapt to coq/coq#19193
rocq-archive · Jun 14, 2024 · eb845aa · eb845aa
2 parents 683b7de + 1acac44
commit eb845aa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/serapi/serapi_protocol.ml b/serapi/serapi_protocol.ml
@@ -701,7 +701,8 @@ module ControlUtil = struct
     |> Option.map (fun pstate ->
         let entry = Pcoq.Constr.lconstr in
         let pa = Pcoq.Parsable.make (Gramlib.Stream.of_string str) in
-        Vernacstate.Parser.parse pstate entry pa)
+        Pcoq.unfreeze pstate;
+        Pcoq.Entry.parse entry pa)
 
   let parse_sentence ~doc ~ontop sent =
     let ontop = Extra.value ontop ~default:(Stm.get_current_state ~doc) in