From a66b57ba4bba866bb626bde2b6fe3b762347eb3e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 9 May 2016 16:33:21 +0200
Subject: Rename Lexer -> CLexer.

---
 parsing/parsing.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing/parsing.mllib')

diff --git a/parsing/parsing.mllib b/parsing/parsing.mllib
index a0cb83193..0e1c79c91 100644
--- a/parsing/parsing.mllib
+++ b/parsing/parsing.mllib
@@ -1,6 +1,6 @@
 Tok
 Compat
-Lexer
+CLexer
 Pcoq
 Egramml
 Egramcoq
-- 
cgit v1.2.3