From 2106fa4d66215666e2075841b0c96f1d481373e3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 5 Jul 2011 07:28:42 +0000 Subject: [PATCH] Code tidy. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3204 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 1 - prism/src/prism/ProbModelChecker.java | 1 - 2 files changed, 2 deletions(-) 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"); } }