From 9a1327e91476f6d8fe0a09b3935b6f4912993b1a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 27 Mar 2010 18:36:03 +0000
Subject: [PATCH] Bugfix in prism.Result.

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

diff --git a/prism/src/prism/Result.java b/prism/src/prism/Result.java
index e68a4ba2..93c1b548 100644
--- a/prism/src/prism/Result.java
+++ b/prism/src/prism/Result.java
@@ -129,6 +129,6 @@ public class Result
 	 */
 	public String toString()
 	{
-		return result.toString();
+		return result == null ? "null" : result.toString();
 	}
 }