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

This reverts commit a66b57ba4bba866bb626bde2b6fe3b762347eb3e.
---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index e054c1bc7..ad9a5d75e 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -151,7 +151,7 @@ States
 
 Genprint
 Tok
-CLexer
+Lexer
 Ppextend
 Pputils
 Ppannotation
-- 
cgit v1.2.3