From 7227c48fae55bcfdf0ff4c9a1a80800b457031df Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 21 Apr 2008 14:41:25 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index f3096f37..394ddbd4 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/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);