diff --git a/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java b/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
index 543d75cf18b7ebf29e9a8d3155a62e0ff87f12a2..02ba852fc23c206ec6ebc66b3c9c8a19bac0b055 100644
--- a/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
+++ b/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
@@ -18,26 +18,25 @@ import static de.tlc4b.util.TestUtil.test;
 import static org.junit.Assert.assertEquals;
 
 @RunWith(PolySuite.class)
-public class WellDefinednessTest extends AbstractParseMachineTest  {
-
-		private final File machine;
-		private final TLCResult error;
-		
-		public WellDefinednessTest(File machine, TLCResult result) {
-			this.machine = machine;
-			this.error = result;
-		}
-		
-		@Test
-		public void testRunTLC() throws Exception {
-			String[] a = new String[] { machine.getPath(), "-wdcheck" };
-			assertEquals(error, test(a));
-		}
-
-		@Config
-		public static Configuration getConfig() {
-			List<String> list = new ArrayList<>();
-			list.add("build/prob_examples/public_examples/TLC/WellDefinednessError");
-			return getConfiguration(list, WellDefinednessError);
-		}
+public class WellDefinednessTest extends AbstractParseMachineTest {
+	private final File machine;
+	private final TLCResult error;
+
+	public WellDefinednessTest(File machine, TLCResult result) {
+		this.machine = machine;
+		this.error = result;
+	}
+
+	@Test
+	public void testRunTLC() throws Exception {
+		String[] a = new String[] { machine.getPath(), "-wdcheck" };
+		assertEquals(error, test(a));
+	}
+
+	@Config
+	public static Configuration getConfig() {
+		List<String> list = new ArrayList<>();
+		list.add("build/prob_examples/public_examples/TLC/WellDefinednessError");
+		return getConfiguration(list, WellDefinednessError);
+	}
 }