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

FunctionType::constrainEqualToFunction : swap types for newly created constraint -> less confusing

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-15 16:54:21 +01:00
parent bbf24cae78
commit 86226f896e
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/main/java/edu/kit/typicalc/model/type/FunctionType.java
View File

@ -82,7 +82,7 @@ public class FunctionType extends Type {
*/
@Override
public Result<UnificationActions, UnificationError> constrainEqualToFunction(FunctionType type) {
return UnificationUtil.functionFunction(this, type);
return UnificationUtil.functionFunction(type, this);
}
/**