Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove now-redundant post-condition check in
performSelection
.
This check is now performed later on, in the case that `runSelection` returns a selection, so we can remove it from the `Nothing` case.
- Loading branch information