From 5b05d3668571bd9b748b781b0cc29ae10f745f61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 13:35:48 +0100
Subject: Code cleanup.

Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
---
 cparser/Lexer.mll | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'cparser/Lexer.mll')

diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll
index bcf2ada0..b2b00e8c 100644
--- a/cparser/Lexer.mll
+++ b/cparser/Lexer.mll
@@ -17,8 +17,7 @@
 open Lexing
 open Pre_parser
 open Pre_parser_aux
-open Cabshelper
-open Camlcoq
+open !Cabshelper
 
 module SSet = Set.Make(String)
 
@@ -430,7 +429,7 @@ and singleline_comment = parse
   open Streams
   open Specif
   open Parser
-  open Aut.GramDefs
+  open !Aut.GramDefs
 
   (* This is the main entry point to the lexer. *)
 
@@ -578,7 +577,7 @@ and singleline_comment = parse
           let rec doConcat wide str =
             try
               match Queue.peek tokens with
-              | STRING_LITERAL (wide', str', loc) ->
+              | STRING_LITERAL (wide', str', _) ->
                   ignore (Queue.pop tokens);
                   let (wide'', str'') = doConcat wide' str' in
                   if str'' <> []
-- 
cgit