From 3a1a6e1351edfe10f3898a53a8242a7f2fb3977a Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Tue, 12 Feb 2013 22:42:59 +0100
Subject: [PATCH] bugfix: ProBException is not handled initially
---
de.prob.core/src/de/prob/exceptions/ProBException.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/exceptions/ProBException.java b/de.prob.core/src/de/prob/exceptions/ProBException.java
index 0b31e6a4..79e6f3b3 100644
--- a/de.prob.core/src/de/prob/exceptions/ProBException.java
+++ b/de.prob.core/src/de/prob/exceptions/ProBException.java
@@ -23,7 +23,7 @@ public abstract class ProBException extends Exception {
}
public ProBException(final Throwable e) {
- this(e.getLocalizedMessage(), e, true);
+ this(e.getLocalizedMessage(), e, false);
}
public ProBException(final String message, final Throwable e,
--
GitLab