From f6ecbb948ccf7f8a4e156eb29e3a41e7f2953407 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 11 Jan 2009 12:07:11 +0000
Subject: Elimination of "alloc" instruction in Caml files and test files.

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

(limited to 'backend/CMlexer.mll')

diff --git a/backend/CMlexer.mll b/backend/CMlexer.mll
index 9854117..3506e50 100644
--- a/backend/CMlexer.mll
+++ b/backend/CMlexer.mll
@@ -33,7 +33,6 @@ rule token = parse
   | blank +      { token lexbuf }
   | "/*"         { comment lexbuf; token lexbuf }
   | "absf" { ABSF }
-  | "alloc" { ALLOC }
   | "&" { AMPERSAND }
   | "&&" { AMPERSANDAMPERSAND }
   | "!"    { BANG }
-- 
cgit v1.2.3