From ef3079e22fa7941d3335d7779c840e8d2d2bde39 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 21 Feb 2020 14:18:37 -0500
Subject: [parsing] Move comments lexer extensions to base lexer interface

This makes sense as a step towards a more functional handling of the
state.
---
 parsing/cLexer.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'parsing')

diff --git a/parsing/cLexer.mli b/parsing/cLexer.mli
index 67b8310bde..ac2c5bcfe2 100644
--- a/parsing/cLexer.mli
+++ b/parsing/cLexer.mli
@@ -55,7 +55,7 @@ val terminal_numeral : string -> NumTok.Unsigned.t Tok.p
 (** The lexer of Coq: *)
 
 module Lexer :
-  Gramlib.Grammar.GLexerType with type te = Tok.t and type 'c pattern = 'c Tok.p
+  Gramlib.Plexing.S with type te = Tok.t and type 'c pattern = 'c Tok.p
 
 module Error : sig
   type t
@@ -74,4 +74,4 @@ it was not in a comment, possibly becoming multiple tokens
 *)
 
 module LexerDiff :
-  Gramlib.Grammar.GLexerType with type te = Tok.t and type 'c pattern = 'c Tok.p
+  Gramlib.Plexing.S with type te = Tok.t and type 'c pattern = 'c Tok.p
-- 
cgit v1.2.3