From 3da3b1e298a2da942421cbec8586773dce5c8b48 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 28 Oct 2010 22:59:13 +0000 Subject: [PATCH] Bugfix: no double display of error message in GUI result dialog. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2194 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Result.java | 6 ------ 1 file changed, 6 deletions(-) diff --git a/prism/src/prism/Result.java b/prism/src/prism/Result.java index 93c1b548..0acdbedb 100644 --- a/prism/src/prism/Result.java +++ b/prism/src/prism/Result.java @@ -52,7 +52,6 @@ public class Result /** * Create a Result object based on a result. - * (If result is an Exception, explanatory text is also set.) */ public Result(Object result) { @@ -62,15 +61,10 @@ public class Result /** * Set the result. - * (If result is an Exception, explanatory text is also set.) */ public void setResult(Object result) { this.result = result; - if (result instanceof Exception) - this.explanation = ((Exception)result).getMessage(); - else - this.explanation = null; } /**