From a6c369cbd63996c1571ae601b7d92070f024b22c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 5 Oct 2013 08:11:34 +0000
Subject: Merge of the "alignas" branch.

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

(limited to 'cparser/C.mli')

diff --git a/cparser/C.mli b/cparser/C.mli
index ce58504..5d90407 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -77,6 +77,7 @@ type attribute =
   | AConst
   | AVolatile
   | ARestrict
+  | AAlignas of int                     (* always a power of 2 *)
   | Attr of string * attr_arg list
 
 type attributes = attribute list
-- 
cgit v1.2.3