From 8e45d9e5ceeee79de97d59f5ffe4660a79d682ae Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Wed, 4 Mar 2020 13:33:07 +0100
Subject: [PATCH] Fix printing

---
 prism/src/explicit/AccumulationTransformation.java | 1 -
 1 file changed, 1 deletion(-)

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);