From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CMlexer.mll | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'backend/CMlexer.mll')

diff --git a/backend/CMlexer.mll b/backend/CMlexer.mll
index fb9173da..d1926fda 100644
--- a/backend/CMlexer.mll
+++ b/backend/CMlexer.mll
@@ -85,8 +85,6 @@ rule token = parse
   | ">>l"    { GREATERGREATERL }
   | ">>lu"    { GREATERGREATERLU }
   | "if"    { IF }
-  | "in"    { IN }
-  | "inline" { INLINE }
   | "int"    { INT }
   | "int16"    { INT16 }
   | "int16s"    { INT16S }
@@ -114,7 +112,6 @@ rule token = parse
   | "<=lu"    { LESSEQUALLU }
   | "<<"    { LESSLESS }
   | "<<l"    { LESSLESSL }
-  | "let"     { LET }
   | "long"    { LONG }
   | "longofint" { LONGOFINT }
   | "longofintu" { LONGOFINTU }
-- 
cgit