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 fddd58485e85f83bf6825f8e9a545ed151a5977d..f1edb0bdac9c2b72b6e03aaaa3948f0a5c6d4f60 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(); } }