Remove an unnecessary local variable.

This commit is contained in:
Nicholas Nethercote 2019-12-06 13:41:07 +11:00
parent 4ec87d5cd2
commit 76916d7a4b
1 changed files with 1 additions and 2 deletions

View File

@ -451,9 +451,8 @@ impl<O: ForestObligation> ObligationForest<O> {
index += 1;
continue;
}
let result = processor.process_obligation(&mut node.obligation);
match result {
match processor.process_obligation(&mut node.obligation) {
ProcessResult::Unchanged => {
// No change in state.
}