diff options
| author | Alasdair Armstrong | 2018-05-09 16:55:58 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-09 16:56:16 +0100 |
| commit | 0d56f6be9e2e437c570da05b1c8cdc25eb24912c (patch) | |
| tree | 4fdc1230bf8731bb4a00177d42d910713c923bca /src | |
| parent | c498c8a7f8d448dcefd1692e7562878cc6feb62b (diff) | |
Fix an issue with C compilation
Diffstat (limited to 'src')
| -rw-r--r-- | src/c_backend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c_backend.ml b/src/c_backend.ml index 5cf282f9..23a8c92e 100644 --- a/src/c_backend.ml +++ b/src/c_backend.ml @@ -1927,7 +1927,7 @@ and compile_block ctx = function let setup, _, call, cleanup = compile_aexp ctx exp in let rest = compile_block ctx exps in let gs = gensym () in - setup @ [idecl CT_unit gs; call (CL_id gs)] @ cleanup @ rest + iblock (setup @ [idecl CT_unit gs; call (CL_id gs)] @ cleanup) :: rest (** Compile a sail type definition into a IR one. Most of the actual work of translating the typedefs into C is done by the code |