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.
---
 parsing/compat.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing/compat.ml4')

diff --git a/parsing/compat.ml4 b/parsing/compat.ml4
index 1481c31f45..17038ab5fc 100644
--- a/parsing/compat.ml4
+++ b/parsing/compat.ml4
@@ -135,7 +135,7 @@ let to_coq_position = function
 END
 
 
-(** Signature of CLexer *)
+(** Signature of Lexer *)
 
 IFDEF CAMLP5 THEN
 
-- 
cgit v1.2.3