JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

Fehler bei TPH Generierung behoben

Browse Source
This commit is contained in:
JanUlrich 2016-04-21 14:27:32 +02:00
parent 0ca4f16c49
commit 16cbf8e1b7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
View File

@ -193,7 +193,7 @@ public class UnifyTypeFactory {
public static Type convert(PlaceholderType t) { public static Type convert(PlaceholderType t) {
TypePlaceholder ret = TypePlaceholder.getInstance(t.getName()); TypePlaceholder ret = TypePlaceholder.getInstance(t.getName());
if(ret == null){ //Dieser TPH wurde vom Unifikationsalgorithmus erstellt if(ret == null){ //Dieser TPH wurde vom Unifikationsalgorithmus erstellt
ret = TypePlaceholder.fresh(t.getName(), NULL_NODE); ret = TypePlaceholder.fresh(NULL_NODE);
} }
return ret; return ret;
} }