tweak the description

"in addition to" sounds better than "additionally to"
This commit is contained in:
Niko Matsakis 2017-10-30 10:22:35 -04:00 committed by GitHub
parent 08b1fe39c2
commit b2c2ba4eb5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1058,7 +1058,7 @@ options! {DebuggingOptions, DebuggingSetter, basic_debugging_options,
dump_mir_dir: Option<String> = (None, parse_opt_string, [UNTRACKED],
"the directory the MIR is dumped into"),
dump_mir_graphviz: bool = (false, parse_bool, [UNTRACKED],
"additionally to `.mir` files, create graphviz `.dot` files"),
"in addition to `.mir` files, create graphviz `.dot` files"),
dump_mir_exclude_pass_number: bool = (false, parse_bool, [UNTRACKED],
"if set, exclude the pass number when dumping MIR (used in tests)"),
mir_emit_validate: usize = (0, parse_uint, [TRACKED],