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