From 5e935c3a357f21a6b974c76808e6760ca1afc9ba Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Mon, 21 Dec 2015 21:25:37 +0000
Subject: [PATCH] Propagating bugfix from rev @11061 to Pareto curve generation

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11063 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/MultiObjModelChecker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java
index 10d32de2..15921e0c 100644
--- a/prism/src/prism/MultiObjModelChecker.java
+++ b/prism/src/prism/MultiObjModelChecker.java
@@ -802,7 +802,7 @@ public class MultiObjModelChecker extends PrismComponent
 		//create a sparse matrix for transitions
 		JDDNode a = JDD.Apply(JDD.TIMES, modelProduct.getTrans(), modelProduct.getReach());
 
-		if (!min) {
+		if (!min && dimReward == 0) {
 			JDD.Ref(a);
 			JDDNode tmp = JDD.And(JDD.Equals(a, 1.0), JDD.Identity(modelProduct.getAllDDRowVars(), modelProduct.getAllDDColVars()));
 			a = JDD.ITE(tmp, JDD.Constant(0), a);