diff --git a/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java b/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
index 87633a1b0a1c6ed29523b444b57a0d04773f3695..99e84f0cfa831b7dc603865d02ea8c69dbd0bb2b 100644
--- a/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
+++ b/src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
@@ -43,12 +43,12 @@ public class CoverageTest extends AbstractParseMachineTest {
 		list.add("build/prob_examples/public_examples/TLC/");
 
 		list.add("./src/test/resources/");
+		ignoreList.add("./src/test/resources/bugs/");
 		ignoreList.add("./src/test/resources/compound/");
 		ignoreList.add("./src/test/resources/other/");
 		ignoreList.add("./src/test/resources/test/");
 		ignoreList.add("./src/test/resources/testing/");
 		ignoreList.add("./src/test/resources/todo/");
-		ignoreList.add("./src/test/resources/bugs/");
 		return getConfiguration2(list, ignoreList);
 	}