From 9c6372c3ba5cee354ead5f546c85b990901e603c Mon Sep 17 00:00:00 2001
From: Daniel Holle <dholle@hb.dhbw-stuttgart.de>
Date: Wed, 28 Feb 2024 13:22:13 +0100
Subject: [PATCH] Thats probably important

---
 .../de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java    | 1 +
 1 file changed, 1 insertion(+)

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 34069374..5df521cb 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
@@ -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();