diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index fe50e404f3aa52cde731103ad62cd6580c0c1739..40078282bd2d55665a746a076c8a7a3bf7139de8 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -36,7 +36,7 @@ public class TestUtil {
 		String ppResult = getTreeAsString(ppStart);
 
 		// compare the generated AST and the AST of the pretty print
-		// assertEquals(result, ppResult);
+		assertEquals(result, ppResult);
 	}
 
 	public static void compareExpr(String bExpr, String tlaExpr) throws BCompoundException {
diff --git a/src/test/java/testing/ExampleFilesTest.java b/src/test/java/testing/ExampleFilesTest.java
index b809a0a67ad28c5c4e66b582f896838d1b8f0536..241befa6c62271cde994fd64582c3ee0146c91a0 100644
--- a/src/test/java/testing/ExampleFilesTest.java
+++ b/src/test/java/testing/ExampleFilesTest.java
@@ -44,7 +44,7 @@ public class ExampleFilesTest extends AbstractParseModuleTest {
 		String ppTree = TestUtil.getTreeAsString(ppStart);
 		
 		// comparing result with pretty print
-		//assertEquals(resultTree, ppTree);
+		assertEquals(resultTree, ppTree);
 		
 		
 		// machine file
@@ -58,7 +58,7 @@ public class ExampleFilesTest extends AbstractParseModuleTest {
 
 		String expectedTree = TestUtil.getTreeAsString(expectedStart);
 
-		//assertEquals(expectedTree, resultTree);
+		assertEquals(expectedTree, resultTree);
 	}
 
 	@Config