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 newResult) { + public void notify(List newResult) { UnifyResultEvent evt = new UnifyResultEvent(newResult); for (UnifyResultListener listener : listeners) {