Index: /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java
===================================================================
--- /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 370)
+++ /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java	(revision 371)
@@ -127,5 +127,5 @@
         // Translation
         String result = loadModel(input, noOptimization, true);
-        //System.out.println(result);
+        System.out.println(result);
         
         // Test correct translation
@@ -146,5 +146,4 @@
         // Translation
         String result = loadModel(input, noOptimization, true);
-        System.out.println(result);
         int iwc3200top = getNumberOfVariable(result, "IWMC3200TOP") * -1;
         int fwLoader = getNumberOfVariable(result, "FW_LOADER");