From 3fd28557f9282385d5a4b0d1c3a4f24ec7c7de6c Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 16 Oct 2019 02:55:57 +0100
Subject: Make nostd Sail arena allocator thread safe (maybe)

---
 src/jib/c_backend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3