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

fix pipeline

Browse Source
This commit is contained in:
ucrhh 2021-02-19 23:21:24 +01:00
parent 6fc73d1a3f
commit 28aee51c7f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -27,7 +27,8 @@ public class TypeInferenceResult {
* @param substitutions the substitutions to generate the mgu and the final type
* @param typeVar the type variable belonging to the original lambda term
* @throws IllegalStateException if the given list of substitutions contains two substitutions for the same
* type variable; or if the calculated mgu contains no substitution for the given type variable
* type variable; or if the calculated mgu contains no substitution for the given
* type variable
*/
protected TypeInferenceResult(List<Substitution> substitutions, TypeVariable typeVar) {
mgu = new ArrayList<>(substitutions);