From cbafeeecbfe6e4fab33e1e57898ef216bda43426 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 13 Aug 2015 09:50:48 +0000
Subject: [PATCH] Tweak CUDD out-of-memory error output in GUI.

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

diff --git a/prism/src/userinterface/GUIComputationThread.java b/prism/src/userinterface/GUIComputationThread.java
index 586e4891..4a5ecd57 100644
--- a/prism/src/userinterface/GUIComputationThread.java
+++ b/prism/src/userinterface/GUIComputationThread.java
@@ -54,7 +54,7 @@ public class GUIComputationThread extends Thread
 	public void error(Exception e)
 	{
 		if (e instanceof jdd.JDD.CuddOutOfMemoryException) {
-			error(e.getMessage()+"\nPlease restart PRISM. You can increase the memory for CUDD in the settings...");
+			error(e.getMessage()+".\nTry increasing the value of \"CUDD max. memory\" in the options and then restart PRISM");
 		} else if (e instanceof PrismException) {
 			error(e.getMessage());
 		} else {