diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 0486e12b8d88b4b6bca8c7efef9e6c873b2f6bde..32d9f5f5f9b95dadd5249c94f0e625ba6195a627 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -402,7 +402,6 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals,
 						&& !BBuiltInOPs.contains(opApplNode.getOperator()
 								.getName())) {
 					OpDefNode def = (OpDefNode) opApplNode.getOperator();
-					System.out.println(def.getName());
 					FormalParamNode[] params = def.getParams();
 					for (int j = 0; j < params.length; j++) {
 						FormalParamNode param = params[j];
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 6546b278f7647879fd70eb04fd463c0e25faa749..6ac6512c95e4f7fa89dcd6c659ccab766527c7b3 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -210,6 +210,7 @@ public class Translator {
 				specAnalyser, usedExternalFunctions, predicateVsExpression);
 
 		this.bDefinitions = bAstCreator.getBDefinitions();
+		System.out.println(bDefinitions.getDefinitionNames());
 		return bAstCreator.getStartNode();
 	}
 
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index 278f62905caefeb65867fb1f5deaf1035c47eda4..0786923b6c285de7417a788f2ec2fe79c732201d 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -63,8 +63,8 @@ public class TestUtil {
 		
 		
 		System.out.println("-------------------");
-		
 		assertEquals(result, ppResult);
+		System.out.println(t.getBDefinitions().getDefinitionNames());
 	}
 	
 	public static void compare(String bMachine, String tlaModule) throws BException, TLA2BException{