From 27dffdea5b46f6282c1584db0555213e744352fa Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 31 May 2016 13:33:01 +0200
Subject: Revert "Rename Lexer -> CLexer."

This reverts commit a66b57ba4bba866bb626bde2b6fe3b762347eb3e.
---
 grammar/argextend.ml4 | 2 +-
 grammar/grammar.mllib | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'grammar')

diff --git a/grammar/argextend.ml4 b/grammar/argextend.ml4
index b3c71a703c..cb0f7d2d31 100644
--- a/grammar/argextend.ml4
+++ b/grammar/argextend.ml4
@@ -287,7 +287,7 @@ EXTEND
 	GramNonTerminal (!@loc, t, g, Some (Names.Id.of_string s))
       | s = STRING ->
 	  if String.length s > 0 && Util.is_letter s.[0] then
-	    CLexer.add_keyword s;
+	    Lexer.add_keyword s;
           GramTerminal s
     ] ]
   ;
diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index 1864fae5fc..71e5b8ae2c 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -50,7 +50,7 @@ Constrexpr_ops
 
 Compat
 Tok
-CLexer
+Lexer
 Pcoq
 G_prim
 G_tactic
-- 
cgit v1.2.3