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

---
 coqpp/coqpp_main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coqpp')

diff --git a/coqpp/coqpp_main.ml b/coqpp/coqpp_main.ml
index 5e3199e8a6..83929bd030 100644
--- a/coqpp/coqpp_main.ml
+++ b/coqpp/coqpp_main.ml
@@ -469,7 +469,7 @@ let rec parse_symb self = function
 | Uentryl (e, l) ->
   assert (e = "tactic");
   if l = 5 then SymbEntry ("Pltac.binder_tactic", None)
-  else SymbEntry ("Pltac.tactic_expr", Some (string_of_int l))
+  else SymbEntry ("Pltac.ltac_expr", Some (string_of_int l))
 
 let parse_token self = function
 | ExtTerminal s -> (terminal s, None)
-- 
cgit v1.2.3