From 43413d5e3c440c0f045810a92ee40f0812a348f7 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 28 Sep 2017 16:55:29 +0200
Subject: [PATCH] Bugfix in Test

---
 test/typeinference/JavaTXCompilerTest.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/typeinference/JavaTXCompilerTest.java b/test/typeinference/JavaTXCompilerTest.java
index 3a64ca88..915702dc 100644
--- a/test/typeinference/JavaTXCompilerTest.java
+++ b/test/typeinference/JavaTXCompilerTest.java
@@ -29,8 +29,10 @@ public class JavaTXCompilerTest {
     public JavaTXCompilerTest(){
     }
 
+    @Test
     public void test() throws IOException, java.lang.ClassNotFoundException {
         if(fileToTest != null)filesToTest.add(fileToTest);
+            else return;
         //filesToTest.add(new File(rootDirectory+"Faculty.jav"));
         //filesToTest.add(new File(rootDirectory+"mathStruc.jav"));
         //filesToTest.add(new File(rootDirectory+"test.jav"));