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

---
 .../de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java  | 2 +-
 1 file changed, 1 insertion(+), 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 a5919c18..dc600939 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java
@@ -17,7 +17,7 @@ public class UnifyResultModel {
 		listeners.remove(listenerToRemove);
 	}
 	
-	public void notify(ResultSet newResult) {
+	public void notify(Set<ResultSet> newResult) {
 		UnifyResultEvent evt = new UnifyResultEvent(newResult);
 		
 		for (UnifyResultListener listener : listeners) {