Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bugfix in the multiplicity computation of OptionalJoin (#484)
It was a not-so-easy to find copy&paste bug
- Loading branch information