diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 4e667f7e..8bdf9b62 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -339,7 +339,6 @@ public class NondetModelChecker extends NonProbModelChecker
 			return checkProbPathFormulaSimple(expr, qual, min);
 		} else {
 			return checkProbPathFormulaLTL(expr, qual, min);
-			//throw new PrismException("LTL-style path formulas are not yet supported");
 		}
 	}
 
diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 05fdb4d1..5bdc6050 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -527,7 +527,6 @@ public class ProbModelChecker extends NonProbModelChecker
 			return checkProbPathFormulaSimple(expr, qual);
 		} else {
 			return checkProbPathFormulaLTL(expr, qual);
-			//throw new PrismException("LTL-style path formulas are not yet supported");
 		}
 	}