From 86cdd51c4e25fceb12854863419fbdc3f19e44aa Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 16 Nov 2019 11:03:49 +0100
Subject: Stop keeping outdated static list of keywords.

The real list is computed by tok_using in CLexer.
---
 plugins/ltac/g_tactic.mlg | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'plugins')

diff --git a/plugins/ltac/g_tactic.mlg b/plugins/ltac/g_tactic.mlg
index 6a158bde17..e51b1f051d 100644
--- a/plugins/ltac/g_tactic.mlg
+++ b/plugins/ltac/g_tactic.mlg
@@ -30,9 +30,6 @@ open Pcoq
 
 let all_with delta = Redops.make_red_flag [FBeta;FMatch;FFix;FCofix;FZeta;delta]
 
-let tactic_kw = [ "->"; "<-" ; "by" ]
-let _ = List.iter CLexer.add_keyword tactic_kw
-
 let err () = raise Stream.Failure
 
 (* Hack to parse "(x:=t)" as an explicit argument without conflicts with the *)
-- 
cgit v1.2.3