From f0db487d8c8798b9899be03bf65bcb12524b9186 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 26 May 2010 11:59:09 +0000
Subject: Updated Caml parts to match new representation for global variables.
 */PrintAsm.ml: watch out for large stack frames in Pallocframe.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1349 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CMparser.mly | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'backend')

diff --git a/backend/CMparser.mly b/backend/CMparser.mly
index c83a46e..8420209 100644
--- a/backend/CMparser.mly
+++ b/backend/CMparser.mly
@@ -324,7 +324,8 @@ global_declarations:
 
 global_declaration:
     VAR STRINGLIT LBRACKET INTLIT RBRACKET
-      { Coq_pair(Coq_pair($2, [ Init_space (z_of_camlint $4) ]), ()) }
+      { Coq_pair($2, {gvar_info = (); gvar_init = [Init_space(z_of_camlint $4)];
+                      gvar_readonly = false; gvar_volatile = false}) }
 ;
 
 proc_list:
-- 
cgit v1.2.3