From c838d3368f840ca35a638f8e8f6379fbf9606783 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 8 Jul 2010 09:15:23 +0000
Subject: Preliminary support for gcc-style __attribute__ over types

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1377 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Transform.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'cparser/Transform.ml')

diff --git a/cparser/Transform.ml b/cparser/Transform.ml
index b7f57f3..911d613 100644
--- a/cparser/Transform.ml
+++ b/cparser/Transform.ml
@@ -49,10 +49,6 @@ let program
     ?(typedef = fun env id ty -> ty)
     p =
 
-(* In all transformations of interest so far, the environment is used only
-   for its type definitions and struct/union definitions,
-   so we do not update it for other definitions. *)
-
   let rec transf_globdecls env accu = function
   | [] -> List.rev accu
   | g :: gl ->
-- 
cgit v1.2.3