diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java
index 0a5847e4..61f001e0 100644
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@@ -88,7 +88,6 @@ public class MDPModelChecker extends ProbModelChecker
 		};
 
 		product = mcLtl.constructProductMDP(this, (MDP)model, expr, statesOfInterest, allowedAcceptance);
-		mainLog.println(product.getProductModel().getStatesList());
 		
 		// Output product, if required
 		if (getExportProductTrans()) {