explicit.LTLModelChecker: remove exception on constructor (never thrown) [Steffen Märcker]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11190 bbc10eb1-c90d-0410-af57-cb519fbb1720

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);
 	}