arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

NamedType angepasst

Browse Source
This commit is contained in:
uogau 2021-01-30 09:28:48 +01:00
parent 69b9ef4773
commit 0f5531ef47
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/model/type/NamedType.java
View File

@ -53,8 +53,7 @@ public class NamedType extends Type {
*/
@Override
public Type substitute(TypeVariable a, Type b) {
//TODO: Methode überhaupt sinnvoll?
return null;
return this;
}
/**