Removed automatic use of LTL algorithm (for regression testing purposes).

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

prism/src/prism/NondetModelChecker.java

@@ -314,7 +314,7 @@ public class NondetModelChecker extends StateModelChecker
 	{
 		// Test whether this is a simple path formula (i.e. PCTL)
 		// and then pass control to appropriate method. 
-		if (1==2){//TODO: replace after regression testing: expr.isSimplePathFormula()) {
+		if (expr.isSimplePathFormula()) {
 			return checkProbPathFormulaSimple(expr, qual, min);
 		} else {
 			return checkProbPathFormulaLTL(expr, qual, min);