From cd62b91d0c21f3f23153292e7b27d4c38542ecc3 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Fri, 21 Dec 2018 18:34:34 +0100
Subject: [PATCH] remove unneccessary warning

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

diff --git a/prism/src/explicit/AccumulationTransformation.java b/prism/src/explicit/AccumulationTransformation.java
index fb240ab9..a3539d20 100644
--- a/prism/src/explicit/AccumulationTransformation.java
+++ b/prism/src/explicit/AccumulationTransformation.java
@@ -126,10 +126,6 @@ public class AccumulationTransformation<M extends ModelExplicit> implements Mode
 			throw new PrismException("Unable to handle <->/[-] with -accforcecomplex. Bailing.");
 		}
 		
-		if(forceMulti && isSimple) {
-			mc.getLog().println("WARNING: accforcemulti set, but cannot be used with simple method. Using complex one.");
-		}
-		
 		// Build the AccumulationContext
 		AccumulationContext ctx = new AccumulationContext(accexp, rewards, mc);
 		ctx.singleTrack  = isSingleTrack && !forceMulti;