Fix regression #283

This commit is contained in:
Daniel Holle 2024-03-05 10:26:30 +01:00
parent 1877d7f170
commit a90e9df1e8

View File

@ -81,7 +81,7 @@ public class UnifyPair {
}
public UnifyPair(UnifyType lhs, UnifyType rhs, PairOperator op, Set<UnifyPair> uni, UnifyPair base) {
this(lhs, rhs, op, uni, base, null);
this(lhs, rhs, op, uni, base, new HashSet<>());
}
public UnifyPair(UnifyType lhs, UnifyType rhs, PairOperator op, Set<UnifyPair> uni, UnifyPair base, Set<UnifyType> fBounded) {
@ -95,7 +95,7 @@ public class UnifyPair {
substitution = uni;
basePair = base;
this.location = location;
//this.fBounded = fBounded; // what?
this.fBounded = fBounded;
// Caching hashcode
hashCode = 17 + 31 * lhs.hashCode() + 31 * rhs.hashCode() + 31 * pairOp.hashCode();