diff --git a/src/plugins/variadic/format_typer.ml b/src/plugins/variadic/format_typer.ml index 656b534c948d55f5ba91a34325fe0abd084bc764..d5f60a7ee7853b0f8da0754a4bc6158f9fb59d49 100644 --- a/src/plugins/variadic/format_typer.ml +++ b/src/plugins/variadic/format_typer.ml @@ -65,7 +65,7 @@ let type_f_specifier ?find_typedef spec = | #float_specifier, Some `l -> Cil.doubleType | #float_specifier, Some `L -> Cil.longDoubleType | `c, None -> Cil.intType - | `c, Some `l -> get_typedef ?find_typedef "wchar_t" + | `c, Some `l -> get_typedef ?find_typedef "wint_t" | `s, None -> Cil.charPtrType | `s, Some `l -> ptr (get_typedef ?find_typedef "wchar_t") | `p, None -> Cil.voidPtrType