From 8e1dab9d528064d4ef0891efb01d2792ca251bdd Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Thu, 31 Jan 2019 11:27:22 +0100
Subject: [PATCH] Fix StateValues

---
 prism/src/explicit/AccumulationTransformation.java | 2 +-
 prism/src/explicit/Product.java                    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/AccumulationTransformation.java b/prism/src/explicit/AccumulationTransformation.java
index 4c13840c..456ed6b0 100644
--- a/prism/src/explicit/AccumulationTransformation.java
+++ b/prism/src/explicit/AccumulationTransformation.java
@@ -189,7 +189,7 @@ public class AccumulationTransformation<M extends ModelExplicit> implements Mode
 			replace = new ReplaceAccumulationExpressionComplex(ctx.accexp, initLabels, runLabels, goalLabels, product.getNumberOfTracks()-1);
 		}
 		transformedExpression = (Expression)transformedExpression.accept(replace);
-		clock.stop("\n ->" + transformedExpression);
+		clock.stop("got " + transformedExpression);
 		
 		if(mc.getSettings().getBoolean(PrismSettings.ACC_GENERATE_DOTS)) {
 			product.exportToDotFile("DEBUG-product.dot");
diff --git a/prism/src/explicit/Product.java b/prism/src/explicit/Product.java
index 6e7152a1..27872bbc 100644
--- a/prism/src/explicit/Product.java
+++ b/prism/src/explicit/Product.java
@@ -161,7 +161,7 @@ public abstract class Product<M extends Model> implements ModelTransformation<M,
 	public StateValues projectToOriginalModel(StateValues sv) throws PrismException
 	{
 		// the resulting state values have one value per state in the original model
-		StateValues result = new StateValues(sv.type, getOriginalModel().getNumStates());
+		StateValues result = new StateValues(sv.type, getOriginalModel());
 
 		// iterate over all the initial states in the product
 		for (Integer productState : productModel.getInitialStates()) {