modified: src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java

This commit is contained in:
Martin Plümicke 2019-01-25 22:26:38 +01:00
parent 9dcb1f76ca
commit 26634bb038

View File

@ -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) {