diff options
Diffstat (limited to 'vernac/proof_global.ml')
| -rw-r--r-- | vernac/proof_global.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vernac/proof_global.ml b/vernac/proof_global.ml index 0c5bc39020..2c66b3e26c 100644 --- a/vernac/proof_global.ml +++ b/vernac/proof_global.ml @@ -2,9 +2,9 @@ type t = Declare.Proof.t [@@ocaml.deprecated "Use [Declare.Proof.t]"] -let map_proof = Declare.Proof.map_proof +let map_proof = Declare.Proof.map [@@ocaml.deprecated "Use [Declare.Proof.map_proof]"] -let get_proof = Declare.Proof.get_proof +let get_proof = Declare.Proof.get [@@ocaml.deprecated "Use [Declare.Proof.get_proof]"] type opacity_flag = Declare.opacity_flag = |