From 39027a6ea0446b45d2c8aee1eb0c256a6f0f7417 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 7 Jul 2013 08:41:55 +0000
Subject: Bad printing of alignment on 'comm' symbols.

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

(limited to 'cparser')

diff --git a/cparser/PackedStructs.ml b/cparser/PackedStructs.ml
index ebf210b..13a00ce 100644
--- a/cparser/PackedStructs.ml
+++ b/cparser/PackedStructs.ml
@@ -525,9 +525,9 @@ let rec transf_globdecls env accu = function
             (Env.add_typedef env id ty)
             (g :: accu)
             gl
-      | Genumdef _  ->
+      | Genumdef(id, attr, el) ->
           transf_globdecls
-            env
+            (Env.add_enum env id {ei_members =  el; ei_attr = attr})
             (g :: accu)
             gl
       | Gpragma p ->
-- 
cgit v1.2.3