Deprecate subst_constructor

coq · Nov 12, 2018 · 4a49ec0 · 4a49ec0
1 parent 78bb2c1
commit 4a49ec0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/library/globnames.mli b/library/globnames.mli
@@ -37,6 +37,8 @@ val destConstructRef : GlobRef.t -> constructor
 val is_global : GlobRef.t -> constr -> bool
 
 val subst_constructor : substitution -> constructor -> constructor * constr
+[@@ocaml.deprecated "Use subst_constructor_reference"]
+
 val subst_constructor_reference : substitution -> constructor -> constructor
 val subst_global : substitution -> GlobRef.t -> GlobRef.t * constr
 val subst_global_reference : substitution -> GlobRef.t -> GlobRef.t