CN-exec: Fix bug in translation of StructUpdate

rems-project · Aug 8, 2024 · 83880a4 · 83880a4
1 parent 2702dba
commit 83880a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backend/cn/lib/cn_internal_to_ail.ml b/backend/cn/lib/cn_internal_to_ail.ml
@@ -1034,7 +1034,7 @@ let rec cn_to_ail_expr_aux_internal
          A.(
            AilEcall
              ( mk_expr (AilEident (Sym.fresh_pretty "alloc")),
-               [ mk_expr (AilEsizeof (empty_qualifiers, mk_ctype C.(Struct struct_tag))) ]
+               [ mk_expr (AilEsizeof (empty_qualifiers, mk_ctype C.(Struct cn_struct_tag))) ]
              ))
        in
        let res_decl = A.(AilSdeclaration [ (res_sym, Some (mk_expr alloc_call)) ]) in