diff --git a/prism/src/explicit/AccumulationTransformation.java b/prism/src/explicit/AccumulationTransformation.java
index 3edaf9e8..4c339e89 100644
--- a/prism/src/explicit/AccumulationTransformation.java
+++ b/prism/src/explicit/AccumulationTransformation.java
@@ -165,7 +165,6 @@ public class AccumulationTransformation<M extends ModelExplicit> implements Mode
 
 		if(ctx.simpleMethod) {
 			BitSet goodStates = product.getGoalStates(0);
-			System.out.println(goodStates);
 			String goodLabel = ((ModelExplicit)product.getTransformedModel()).addUniqueLabel("goal", goodStates, product.getTransformedModel().getLabels());
 			
 			goalLabels.add(goodLabel);