Skip to content
Snippets Groups Projects
Commit 4cbcac9d authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[aorai] fix typo

parent 3c4400c6
No related branches found
No related tags found
No related merge requests found
...@@ -75,8 +75,8 @@ let get_new_offset my_host my_offset name= ...@@ -75,8 +75,8 @@ let get_new_offset my_host my_offset name=
mc mc
end end
in in
let cfiels = Option.value ~default:[] my_comp.Cil_types.cfields in let cfields = Option.value ~default:[] my_comp.Cil_types.cfields in
let field_info = get_field_info_from_name cfiels name in let field_info = get_field_info_from_name cfields name in
Cil_types.Field(field_info,Cil_types.NoOffset) Cil_types.Field(field_info,Cil_types.NoOffset)
| _ -> Aorai_option.fatal "NOT YET IMPLEMENTED : mem is not supported" | _ -> Aorai_option.fatal "NOT YET IMPLEMENTED : mem is not supported"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment