From 1acac449e1f23d588df169e40c845726f7dd7221 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 10 Jun 2024 21:34:25 +0200
Subject: [PATCH] [coq] Adapt to coq/coq#19193

---
 serapi/serapi_protocol.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/serapi/serapi_protocol.ml b/serapi/serapi_protocol.ml
index b2a8a484..1e9b8eff 100644
--- 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