This commit is contained in:
Michael Vines
2020-08-01 08:44:32 -07:00
committed by mergify[bot]
parent 01262cda3f
commit eefcf484cb
9 changed files with 20 additions and 46 deletions

View File

@ -58,10 +58,7 @@ impl<'a> Proof<'a> {
None
}
});
match result {
Some(_) => true,
_ => false,
}
matches!(result, Some(_))
}
}