diff options
Diffstat (limited to 'cparser/Elab.ml')
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 27569ff5..b35963f7 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1907,7 +1907,7 @@ let elab_expr ctx loc env a = | [] -> acc,ty | fld::rest -> if fld.fld_bitfield <> None then - error "cannot compute offset of bit-field '%s'" fld.fld_name; + fatal_error "cannot compute offset of bit-field '%s'" fld.fld_name; let off = offsetof env ty fld in offset_of_list (acc+off) env fld.fld_typ rest in let offset_of_member (env,off_accu,ty) mem = |