Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We were showing the child predicate twice, one underneath the other, because we both forwarded its `Display` *and* added `self` to the case tree.
- Loading branch information