From fe8baff11737d3785ff51d20ace9ab31665cd295 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 12 May 2011 09:41:09 +0000
Subject: cparser: support for attributes over struct and union. cparser: added
 experimental emulation of packed structs (PackedStruct.ml)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1650 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Env.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Env.mli')

diff --git a/cparser/Env.mli b/cparser/Env.mli
index e7a74af1..01f95ca9 100644
--- a/cparser/Env.mli
+++ b/cparser/Env.mli
@@ -29,6 +29,7 @@ type composite_info = {
   ci_members: C.field list;             (* members, in order *)
   ci_alignof: int option;               (* alignment; None if incomplete *)
   ci_sizeof: int option;                (* size; None if incomplete *)
+  ci_attr: C.attributes                 (* attributes, if any *)
 }
 
 type ident_info = II_ident of C.storage * C.typ | II_enum of int64
-- 
cgit