gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations
MIT License
4 stars 0 forks source link

Fixed use of Pair #55

Closed szschaler closed 1 year ago

szschaler commented 1 year ago

This closes #41

Checking the code of Pair, in Xtext sources, it turns out that it actually does provide appropriate equals() and hashCode() implementations. I have, however, standardises to the -> notation.