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

@@ -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 {