From f788eb55cd59f32345747a5ebf494bbd261afe55 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Fri, 1 May 2009 16:34:16 +0000
Subject: [PATCH] Added null-check to prevent NullPointer introduced by rev
 1017

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

diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 054e6151..5f66bc35 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -265,7 +265,10 @@ public class NondetModel extends ProbModel
 	{
 		int i, j, n;
 		
+		if (transInd != null)		 	
 		JDD.PrintMatrix(transInd, allDDRowVars, allDDNondetVars, JDD.LIST);
+		
+		if (transSynch != null)
 		for (i = 0; i < numSynchs; i++) {
 			System.out.println(i);
 			JDD.PrintSupport(transSynch[i]);