diff options
| -rw-r--r-- | cparser/Unblock.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml index 32e09399..8a34db30 100644 --- a/cparser/Unblock.ml +++ b/cparser/Unblock.ml @@ -360,7 +360,7 @@ let unblock_decl env ((sto, id, ty, optinit) as d) = | Some init -> global_variables := []; let init' = expand_init false env init in - let decls = !global_variables in + let decls = List.rev !global_variables in global_variables := []; decls @ [(sto, id, ty, Some init')] |