diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-10-01 14:36:51 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-10-01 14:36:51 +0200 |
commit | ca5f8a7629a6e31cc287139ad0a69b8154514260 (patch) | |
tree | 6c89dc214632d90b84d8d6fb2f3e6384bf0c20e4 /cparser/Elab.ml | |
parent | 8caef13011cb21377b4f6d3734109fb41d1f81bd (diff) | |
download | compcert-ca5f8a7629a6e31cc287139ad0a69b8154514260.tar.gz compcert-ca5f8a7629a6e31cc287139ad0a69b8154514260.zip |
Remove duplicated ticks.
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index bc276b9e..2b04340e 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1065,7 +1065,7 @@ and elab_struct_or_union_info kind loc env members attrs = | fld :: rem -> if wrap incomplete_type loc env' fld.fld_typ then (* Must be fatal otherwise we get problems constructing the init *) - fatal_error loc "member '%a' has incomplete type '%a'" pp_field fld.fld_name (print_typ env) fld.fld_typ; + fatal_error loc "member '%a' has incomplete type %a" pp_field fld.fld_name (print_typ env) fld.fld_typ; if wrap contains_flex_array_mem loc env' fld.fld_typ && kind = Struct then warning loc Flexible_array_extensions "%a may not be used as a struct member due to flexible array member" (print_typ env) fld.fld_typ; check_reduced_alignment loc env' fld.fld_typ; @@ -2678,7 +2678,7 @@ let elab_fundef genv spec name defs body loc = if id.C.name = "" then fatal_error loc "parameter name omitted"; if wrap incomplete_type loc env ty then - fatal_error loc "parameter '%s' has incomplete type '%a'" id.C.name (print_typ env) ty; + fatal_error loc "parameter '%s' has incomplete type %a" id.C.name (print_typ env) ty; Env.add_ident env id Storage_default ty in (* Enter parameters and extra declarations in the local environment. |