From 26634bb03842b55e9884b85c01d65ceb911e310e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Fri, 25 Jan 2019 22:26:38 +0100
Subject: [PATCH] 	modified:  
 src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java

---
 .../de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
index dc600939..fe72bfea 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
@@ -2,6 +2,7 @@ package de.dhbwstuttgart.typeinference.unify;
 
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Set;
 
 import de.dhbwstuttgart.typeinference.result.ResultSet;
 
@@ -17,7 +18,7 @@ public class UnifyResultModel {
 		listeners.remove(listenerToRemove);
 	}
 	
-	public void notify(Set<ResultSet> newResult) {
+	public void notify(List<ResultSet> newResult) {
 		UnifyResultEvent evt = new UnifyResultEvent(newResult);
 		
 		for (UnifyResultListener listener : listeners) {