diff --git a/src/test/java/de/tla2b/main/MainTest.java b/src/test/java/de/tla2b/main/MainTest.java
index a8e832beb492e4db5f27b8a19d5ceaa2a39a417c..ce0d3abf8dbdc3b7d10e6208f03d1677c428df99 100644
--- a/src/test/java/de/tla2b/main/MainTest.java
+++ b/src/test/java/de/tla2b/main/MainTest.java
@@ -1,5 +1,7 @@
 package de.tla2b.main;
 
+import java.io.File;
+
 import org.junit.Test;
 
 import de.tla2b.TLA2B;
@@ -8,8 +10,9 @@ public class MainTest {
 
 	@Test
 	public void testClub() throws Exception {
-		String file = "src/test/resources/regression/Club/Club.tla";
-		TLA2B.main(new String[] { file });
+		String dir = "src/test/resources/regression/Club/";
+		TLA2B.main(new String[] { dir + "Club.tla" });
+		new File(dir + "Club_tla.txt").deleteOnExit();
 	}
-	
+
 }