i21012/JavaPatternMatching
1
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

fixed greater()

Browse Source
This commit is contained in:
Florian Steurer 2015-11-07 11:47:54 +01:00
parent c08a8fd347
commit b93f1dd376
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/de/dhbwstuttgart/typinference/unify/model/FiniteClosure.java
View File

@ -70,10 +70,10 @@ public class FiniteClosure implements IFiniteClosure {
*/
@Override
public Set<Type> greater(Type type) {
if(!inheritanceGraph.containsKey(type))
if(!inheritanceGraph.containsKey(type.getName()))
return new HashSet<>();
return inheritanceGraph.get(type).getContentOfPredecessors();
return inheritanceGraph.get(type.getName()).getContentOfPredecessors();
}
@Override