From 8dd48f03cd129f74b14e9d5bc11af9b375ee66ee Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 2 Apr 2008 12:42:58 +0000 Subject: [PATCH] Error message typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@719 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ProbModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 321e1bea..38935423 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -326,7 +326,7 @@ public class ProbModelChecker extends StateModelChecker if (pb != null) { p = pb.evaluateDouble(constantValues, null); if (p < 0 || p > 1) - throw new PrismException("Invalid probability bound " + p + " in until formula"); + throw new PrismException("Invalid probability bound " + p + " in S operator"); } // check for trivial (i.e. stupid) cases