diff options
| author | Alasdair | 2019-10-16 02:55:57 +0100 |
|---|---|---|
| committer | Alasdair | 2019-10-16 02:55:57 +0100 |
| commit | 3fd28557f9282385d5a4b0d1c3a4f24ec7c7de6c (patch) | |
| tree | 842a1ef77d60c04aaf6b0a8d8a2448a20ce25a9f /src | |
| parent | 478a236c020866f30fc1e42149550c0a7a17a2f7 (diff) | |
Make nostd Sail arena allocator thread safe (maybe)
Diffstat (limited to 'src')
| -rw-r--r-- | src/jib/c_backend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/c_backend.ml b/src/jib/c_backend.ml index 1b949a20..4f0770ff 100644 --- a/src/jib/c_backend.ml +++ b/src/jib/c_backend.ml @@ -195,7 +195,7 @@ let rec is_stack_ctyp ctyp = match ctyp with | CT_fint n -> n <= 64 | CT_lint when !optimize_fixed_int -> true | CT_lint -> false - | CT_lbits _ when !optimize_fixed_int -> true + | CT_lbits _ when !optimize_fixed_bits -> true | CT_lbits _ -> false | CT_real | CT_string | CT_list _ | CT_vector _ -> false | CT_struct (_, fields) -> List.for_all (fun (_, ctyp) -> is_stack_ctyp ctyp) fields |