From 9499c04307006ac72165986459bc091c8ef78fc4 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Fri, 21 Dec 2018 18:39:09 +0100
Subject: [PATCH] better output

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

diff --git a/prism/src/explicit/AccumulationTransformation.java b/prism/src/explicit/AccumulationTransformation.java
index a3539d20..3d7433f8 100644
--- a/prism/src/explicit/AccumulationTransformation.java
+++ b/prism/src/explicit/AccumulationTransformation.java
@@ -131,7 +131,10 @@ public class AccumulationTransformation<M extends ModelExplicit> implements Mode
 		ctx.singleTrack  = isSingleTrack && !forceMulti;
 		ctx.simpleMethod = isSimple      && !forceComplex;
 		
-		mc.getLog().println("Using optimizations single/simple " + ctx.singleTrack + "/" + ctx.simpleMethod);
+		mc.getLog().print("Using optimizations: ");
+		if(ctx.singleTrack)  { mc.getLog().print(" singleTrack "); }
+		if(ctx.simpleMethod) { mc.getLog().print(" simpleMethod "); }
+		mc.getLog().println();
 		
 		// Build the product
 		clock.start("accumulation product construction");