From 700c4acc7ccad8b504faf3b6b71e19971d379592 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Fri, 16 Nov 2012 08:16:50 +0100
Subject: [PATCH] bugfix: When the translation failed due to a
RodinDatabaseException, no message dialog was shown
---
.../src/de/prob/core/translator/TranslationFailedException.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/core/translator/TranslationFailedException.java b/de.prob.core/src/de/prob/core/translator/TranslationFailedException.java
index fddd5848..f1edb0bd 100644
--- a/de.prob.core/src/de/prob/core/translator/TranslationFailedException.java
+++ b/de.prob.core/src/de/prob/core/translator/TranslationFailedException.java
@@ -23,7 +23,7 @@ public class TranslationFailedException extends ProBException {
public TranslationFailedException(final String component,
final String details, Throwable e) {
- super("Translation of " + component + " failed\n" + details, e, true);
+ super("Translation of " + component + " failed\n" + details, e, false);
notifyUserOnce();
}
}
--
GitLab