diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-10-27 03:44:40 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-27 03:44:40 -0500 |
commit | a08d8fd65f2099ad8a97f796eab0f8ce8fc0a6c2 (patch) | |
tree | 265d34f66c4cadf687f513bad6c8b9e332cd386e | |
parent | f315d2c99e9566401193c125ac71bc8cf56443f6 (diff) | |
parent | a373b42cdce239c40593683105d1be2feecf9c85 (diff) |
Auto merge of #1108 - hallfox:no-copy-name-patch, r=emilio
give better variable name
Fixing up a comment from #1105
-rw-r--r-- | src/options.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options.rs b/src/options.rs index d06fb6a2..10c31234 100644 --- a/src/options.rs +++ b/src/options.rs @@ -593,8 +593,8 @@ where } } - if let Some(no_partialeq) = matches.values_of("no-copy") { - for regex in no_partialeq { + if let Some(no_copy) = matches.values_of("no-copy") { + for regex in no_copy { builder = builder.no_copy(String::from(regex)); } } |