From 177d6e84b60673d34b7b2a6bb97650c3107d46ee Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Feb 2016 14:36:25 +0000 Subject: [PATCH] LTLModelChecker: NotSupportedException instead of PrismException for generalized-Rabin with fairness git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11198 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/LTLModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java index 97d6ea7d..f8552cce 100644 --- a/prism/src/prism/LTLModelChecker.java +++ b/prism/src/prism/LTLModelChecker.java @@ -906,7 +906,7 @@ public class LTLModelChecker extends PrismComponent { if (fairness) { - throw new PrismException("Accepting end-component computation for generalized Rabin is currently not supported with fairness"); + throw new PrismNotSupportedException("Accepting end-component computation for generalized Rabin is currently not supported with fairness"); } JDDNode allAcceptingStates;