diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-06 13:10:11 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-06 13:10:11 +0000 |
| commit | 5525293cb8e2cfe371e0f195227918a6726904bd (patch) | |
| tree | dbafee85ed2523540b2fdd29e678442ec584f617 /caml/CMparser.mly | |
| parent | abf06dadb072b3b8eb0488ce1c72b22bd802b116 (diff) | |
| download | compcert-5525293cb8e2cfe371e0f195227918a6726904bd.tar.gz compcert-5525293cb8e2cfe371e0f195227918a6726904bd.zip | |
MAJ
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@79 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'caml/CMparser.mly')
| -rw-r--r-- | caml/CMparser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/caml/CMparser.mly b/caml/CMparser.mly index 5595afed..2df44fb3 100644 --- a/caml/CMparser.mly +++ b/caml/CMparser.mly @@ -148,7 +148,9 @@ global_declarations: global_declaration: VAR STRINGLIT LBRACKET INTLIT RBRACKET - { Coq_pair($2, Coq_cons(Init_space (z_of_camlint $4), Coq_nil)) } + { Coq_pair(Coq_pair($2, + Coq_cons(Init_space (z_of_camlint $4), Coq_nil)), + ()) } ; proc_list: |