[coq] Adapt to coq/coq#19736

ejgallego · Oct 21, 2024 · ed432e9 · ed432e9
1 parent fae278e
commit ed432e9
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/coq/parsing.ml b/coq/parsing.ml
@@ -1,3 +1,5 @@
+module Pcoq = Procq
+
 module Parsable = Pcoq.Parsable
 
 let parse ~st ps =

diff --git a/coq/state.mli b/coq/state.mli
@@ -4,7 +4,7 @@ val compare : t -> t -> int
 val equal : t -> t -> bool
 val hash : t -> int
 val mode : st:t -> Pvernac.proof_mode option
-val parsing : st:t -> Pcoq.frozen_t
+val parsing : st:t -> Procq.frozen_t
 
 (** Proof states *)
 module Proof : sig

diff --git a/vendor/coq b/vendor/coq