From 1657b1156c29d969f1e8a1b5785e17d5984ea7a6 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter
Date: Tue, 23 Mar 2021 15:59:48 -0400
Subject: fix documentation of Ltac2.Env.expand

---
 user-contrib/Ltac2/Env.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user-contrib/Ltac2/Env.v b/user-contrib/Ltac2/Env.v
index d7c5e693f6..9ab95e6d03 100644
--- a/user-contrib/Ltac2/Env.v
+++ b/user-contrib/Ltac2/Env.v
@@ -16,7 +16,7 @@ Ltac2 @ external get : ident list -> Std.reference option := "ltac2" "env_get".
 
 Ltac2 @ external expand : ident list -> Std.reference list := "ltac2" "env_expand".
 (** Returns the list of all global references whose absolute name contains
-    the argument list as a prefix. *)
+    the argument list as a suffix. *)
 
 Ltac2 @ external path : Std.reference -> ident list := "ltac2" "env_path".
 (** Returns the absolute name of the given reference. Panics if the reference
-- 
cgit v1.2.3