From b96612f9679c04d70cbf192d25c5f76314cd2cd1 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Fri, 15 Feb 2019 16:16:56 +0100
Subject: [PATCH] Fix multidimensional weight combinations

---
 prism/src/explicit/AccumulationProduct.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/explicit/AccumulationProduct.java b/prism/src/explicit/AccumulationProduct.java
index 01071919..86150f9b 100644
--- a/prism/src/explicit/AccumulationProduct.java
+++ b/prism/src/explicit/AccumulationProduct.java
@@ -62,6 +62,7 @@ public abstract class AccumulationProduct<M extends Model,Component> extends Pro
         int factorNr = 0;
         for (AccumulationFactor factor : ctx.accexp.getConstraint().getFactors()) {
                 lhs += factor.getFactor().evaluateInt(ctx.mc.getConstantValues()) * track.getWeight(factorNr);
+                factorNr++;
         }
 
         // Check the bound