Address unused arg warning

This commit is contained in:
Richard Feldman 2022-12-09 14:19:17 -05:00
parent 29182d8292
commit ccb6a98f8a
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -4174,9 +4174,8 @@ fn build_header<'a>(
provides,
requires,
requires_types,
config_shorthand,
platform_main_type,
opt_app_module_id,
config_shorthand: _,
name: _,
} = header_type
{