diff --git a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
index 6a7fa4339f6ac67255b789510967ca4b18c1184c..50c62a5f9d4f8bfc855c2de57fa81b0b4b776ab3 100644
--- a/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
@@ -8,11 +8,13 @@ import de.be4.classicalb.core.parser.util.PrettyPrinter;
 import de.tla2b.util.TestUtil;
 import de.tla2bAst.Translator;
 
+import org.junit.Ignore;
 import org.junit.Test;
 
 import static org.junit.Assert.assertEquals;
 
 public class OperationsTest {
+	@Ignore
 	@Test
 	public void testRunTLC() throws Exception {
 		// String[] a = new String[] { moduleFile.getPath() };