diff options
| author | Alasdair Armstrong | 2019-03-27 19:21:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-27 19:30:43 +0000 |
| commit | 989c7f8ab0bf908d0cd26b58c542d264c63b72fe (patch) | |
| tree | a29829bf822ad5ad1ab51e16a36a88961a231f1c /src/jib | |
| parent | 368168f2254d9e4de0c3fac599855e0cf5a0afaa (diff) | |
C: Generate C from sliced specifications
Diffstat (limited to 'src/jib')
| -rw-r--r-- | src/jib/c_backend.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jib/c_backend.ml b/src/jib/c_backend.ml index 4d6db514..a784b08e 100644 --- a/src/jib/c_backend.ml +++ b/src/jib/c_backend.ml @@ -1184,9 +1184,9 @@ let rec sgen_ctyp = function | CT_unit -> "unit" | CT_bit -> "fbits" | CT_bool -> "bool" - | CT_fbits _ -> "fbits" + | CT_fbits _ -> "uint64_t" | CT_sbits _ -> "sbits" - | CT_fint _ -> "mach_int" + | CT_fint _ -> "int64_t" | CT_lint -> "sail_int" | CT_lbits _ -> "lbits" | CT_tup _ as tup -> "struct " ^ Util.zencode_string ("tuple_" ^ string_of_ctyp tup) |