From d85a200cb8fca964bb7428ca6a607cfc9dc83c79 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 24 Nov 2018 17:34:04 +0100
Subject: Removing dead fields from Plexing.lexer.

---
 parsing/cLexer.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'parsing/cLexer.ml')

diff --git a/parsing/cLexer.ml b/parsing/cLexer.ml
index c327f8aa43..c2b7fa117d 100644
--- a/parsing/cLexer.ml
+++ b/parsing/cLexer.ml
@@ -763,7 +763,6 @@ let lexer = {
        | _ -> ());
   Plexing.tok_removing = (fun _ -> ());
   Plexing.tok_match = Tok.match_pattern;
-  Plexing.tok_comm = None;
   Plexing.tok_text = token_text }
 
 (** Terminal symbols interpretation *)
-- 
cgit v1.2.3