fix infer_source_kind_subdiag_let help message - remove double "the"

This commit is contained in:
ickk 2023-04-07 17:42:17 +10:00
parent 32ea4bb9e3
commit 726598ed9a
1 changed files with 2 additions and 2 deletions

View File

@ -30,8 +30,8 @@ infer_source_kind_subdiag_let = {$kind ->
}{$x_kind ->
[has_name] , where the {$prefix_kind ->
*[type] type for {$prefix}
[const_with_param] the value of const parameter
[const] the value of the constant
[const_with_param] value of const parameter
[const] value of the constant
} `{$arg_name}` is specified
[underscore] , where the placeholders `_` are specified
*[empty] {""}