Thats probably important

This commit is contained in:
Daniel Holle 2024-02-28 13:22:13 +01:00
parent 688358aa33
commit 9c6372c3ba

View File

@ -94,6 +94,7 @@ public class UnifyPair {
substitution = uni;
basePair = base;
this.location = location;
this.fBounded = fBounded;
// Caching hashcode
hashCode = 17 + 31 * lhs.hashCode() + 31 * rhs.hashCode() + 31 * pairOp.hashCode();