[coq] Adapt to coq/coq#19193

rocq-archive · Jun 10, 2024 · 1acac44 · 1acac44
1 parent 683b7de
commit 1acac44
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