From a90e9df1e82c96592157559ffb75dcac7932c5d7 Mon Sep 17 00:00:00 2001
From: Daniel Holle <dholle@hb.dhbw-stuttgart.de>
Date: Tue, 5 Mar 2024 10:26:30 +0100
Subject: [PATCH] Fix regression #283

---
 .../de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
index 4c5a4f8c..6b573e3c 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
@@ -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();