From 8048af21066fdffc395f06a17b0964ca4f3315e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Wed, 9 May 2018 18:10:08 +0200
Subject: [PATCH] 	modified:   ../../test/javFiles/Lambda2.jav 
 modified:   ../../test/typeinference/UnifyTest.java

---
 test/javFiles/Lambda2.jav         | 1 +
 test/typeinference/UnifyTest.java | 6 ++++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/test/javFiles/Lambda2.jav b/test/javFiles/Lambda2.jav
index fbcdaf55..cf1e910b 100644
--- a/test/javFiles/Lambda2.jav
+++ b/test/javFiles/Lambda2.jav
@@ -1,3 +1,4 @@
+import java.lang.String;
 
 public class Lambda2
 {
diff --git a/test/typeinference/UnifyTest.java b/test/typeinference/UnifyTest.java
index 2f7107d8..ac7ef221 100644
--- a/test/typeinference/UnifyTest.java
+++ b/test/typeinference/UnifyTest.java
@@ -33,11 +33,12 @@ public class UnifyTest {
     public void lambda() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"LambdaField.jav"));
     }
-
+*/
     @Test
     public void lambda2() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Lambda2.jav"));
     }
+/*
     @Test
     public void lambda3() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Lambda3.jav"));
@@ -51,11 +52,12 @@ public class UnifyTest {
         execute(new File(rootDirectory+"Generics.jav"));
     }
 */
+/*
     @Test
     public void faculty() throws IOException, ClassNotFoundException {
         execute(new File(rootDirectory+"Faculty.jav"));
     }
-
+*/
 /*
     @Test
     public void facultyTyped() throws IOException, ClassNotFoundException {