Re-enable LTL model checking for MDPs.

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

prism/src/prism/NondetModelChecker.java

@@ -312,8 +312,8 @@ public class NondetModelChecker extends NonProbModelChecker
 		if (expr.isSimplePathFormula()) {
 			return checkProbPathFormulaSimple(expr, qual, min);
 		} else {
-			//return checkProbPathFormulaLTL(expr, qual, min);
-			throw new PrismException("LTL-style path formulas are not yet supported");
+			return checkProbPathFormulaLTL(expr, qual, min);
+			//throw new PrismException("LTL-style path formulas are not yet supported");
 		}
 	}