From 8af847bed5a84576870ac2bdfff29c4713837ece Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Feb 2016 13:55:24 +0000 Subject: [PATCH] =?UTF-8?q?explicit.LTLModelChecker:=20remove=20exception?= =?UTF-8?q?=20on=20constructor=20(never=20thrown)=20[Steffen=20M=C3=A4rcke?= =?UTF-8?q?r]?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11190 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/LTLModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/LTLModelChecker.java b/prism/src/explicit/LTLModelChecker.java index 5ba0c5b0..37260916 100644 --- a/prism/src/explicit/LTLModelChecker.java +++ b/prism/src/explicit/LTLModelChecker.java @@ -110,7 +110,7 @@ public class LTLModelChecker extends PrismComponent /** * Create a new LTLModelChecker, inherit basic state from parent (unless null). */ - public LTLModelChecker(PrismComponent parent) throws PrismException + public LTLModelChecker(PrismComponent parent) { super(parent); }