From 5a33c86e548c538bffdd62d5f3a6764152a59c05 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 26 Oct 2015 22:31:12 +0000 Subject: [PATCH] Comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10847 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 e59a6a71..01c1d67e 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -398,7 +398,7 @@ public class NondetModelChecker extends NonProbModelChecker // Only handle a single disjunct for now if (dnf.size() > 1) { - throw new PrismException("Multi-objective model checking of multiople disjuncts not yet supported"); + throw new PrismException("Multi-objective model checking of multiple disjuncts not yet supported"); } // Convert to multi(...) ExpressionFunc exprMulti = new ExpressionFunc("multi");