From 3e8248f70396a54ad85e118f154a1e967eafbdeb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 12 Aug 2009 11:27:08 +0000
Subject: [PATCH] MDP toString bugfix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1426 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/MDP.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/MDP.java b/prism/src/explicit/MDP.java
index ac3dfbe0..400636fa 100644
--- a/prism/src/explicit/MDP.java
+++ b/prism/src/explicit/MDP.java
@@ -656,7 +656,9 @@ public class MDP extends Model
 				first = false;
 			else
 				s += ", ";
-			s += i + ": " + trans.get(i) + transRewards.get(i);
+			s += i + ": " + trans.get(i);
+			if (transRewards != null)
+				s += transRewards.get(i);
 		}
 		s += " ]";
 		return s;