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