diff --git a/src/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/de/dhbwstuttgart/core/JavaTXCompiler.java index ffa8d54d6..f17c9cc76 100644 --- a/src/de/dhbwstuttgart/core/JavaTXCompiler.java +++ b/src/de/dhbwstuttgart/core/JavaTXCompiler.java @@ -217,8 +217,8 @@ public class JavaTXCompiler { eq1.stream().forEach(x -> { x.getLhsType().accept(new distributeVariance(), a.getVariance());}); phSetVariance = new ArrayList<>(phSet); phSetVariance.removeIf(x -> (x.getVariance() == 0 || usedTPH.contains(x))); - } -} + } + } private Map generateTPHMap(ConstraintSet constraints) { HashMap ret = new HashMap<>(); diff --git a/test/javFiles/Lambda.jav b/test/javFiles/Lambda.jav index 48359fc81..5bd67a0b7 100644 --- a/test/javFiles/Lambda.jav +++ b/test/javFiles/Lambda.jav @@ -1,9 +1,10 @@ -class Apply { } + +class Apply { } public class Lambda { m () { - var lam1 = (Integer x) -> { + var lam1 = (x) -> { return x; }; return lam1.apply(new Apply());