{
rust_error_at (
Location (),
- "dump option was not given a name. choose %<lex%>, "
- "%<register_plugins%>, %<injection%>, %<expansion%>, %<resolution%>,"
- " %<target_options%>, %<hir%>, or %<all%>");
+ "dump option was not given a name. choose %<lex%>, %<ast-pretty%>, "
+ "%<ast-tokenstream%>, %<register_plugins%>, %<injection%>, "
+ "%<expansion%>, %<resolution%>, %<target_options%>, %<hir%>, "
+ "%<hir-pretty%>, or %<all%>");
return false;
}
{
rust_error_at (
Location (),
- "dump option %qs was unrecognised. choose %<lex%>, %<parse%>, "
- "%<register_plugins%>, %<injection%>, %<expansion%>, %<resolution%>,"
- " %<target_options%>, or %<hir%>",
+ "dump option %qs was unrecognised. choose %<lex%>, %<ast-pretty%>, "
+ "%<ast-tokenstream%>, %<register_plugins%>, %<injection%>, "
+ "%<expansion%>, %<resolution%>, %<target_options%>, %<hir%>, "
+ "%<hir-pretty%>, or %<all%>",
arg.c_str ());
return false;
}