Merge PR #7288: Isolating ltac naming out of pretyping + fixing renaming

1 files changed, 2 insertions, 2 deletions

diff --git a/engine/evarutil.ml b/engine/evarutil.ml
index b77bf55d8d..b1d880b0ad 100644
--- a/engine/evarutil.ml
+++ b/engine/evarutil.ml
@@ -284,8 +284,8 @@ type csubst = {
   csubst_rev : subst_val Id.Map.t;
   (** Reverse mapping of the substitution *)
 }
-(** This type represent a name substitution for the named and De Bruijn parts of
-    a environment. For efficiency we also store the reverse substitution.
+(** This type represents a name substitution for the named and De Bruijn parts of
+    an environment. For efficiency we also store the reverse substitution.
     Invariant: all identifiers in the codomain of [csubst_var] and [csubst_rel]
     must be pairwise distinct. *)