Skip to content

Commit

Permalink
CN-exec: apply ocamlformat
Browse files Browse the repository at this point in the history
  • Loading branch information
rbanerjee20 committed Aug 8, 2024
1 parent 83880a4 commit 3d925cd
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions backend/cn/lib/cn_internal_to_ail.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1034,8 +1034,9 @@ 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 cn_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
let generate_member_assignment m (member_id, _) =
Expand Down

0 comments on commit 3d925cd

Please sign in to comment.