From ede77b72328c98995c0636656bb71ba87861ddfe Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 11 Oct 2020 19:15:51 -0700
Subject: Rename tactic_expr -> ltac_expr

---
 lib/genarg.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index 88e9ff13e8..5417a14e6d 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -11,7 +11,7 @@
 (** Generic arguments used by the extension mechanisms of several Coq ASTs. *)
 
 (** The route of a generic argument, from parsing to evaluation.
-In the following diagram, "object" can be tactic_expr, constr, tactic_arg, etc.
+In the following diagram, "object" can be ltac_expr, constr, tactic_arg, etc.
 
 {% \begin{verbatim} %}
              parsing          in_raw                            out_raw
-- 
cgit v1.2.3