From 5d33639dd7ca984a3567b51ef9d251bcc0d0c909 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 26 Aug 2015 09:55:59 +0000 Subject: [PATCH] explicit.LTLModelChecker: Comment whitespace git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10578 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/LTLModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/LTLModelChecker.java b/prism/src/explicit/LTLModelChecker.java index 17ab6bc0..26235279 100644 --- a/prism/src/explicit/LTLModelChecker.java +++ b/prism/src/explicit/LTLModelChecker.java @@ -211,8 +211,8 @@ public class LTLModelChecker extends PrismComponent * @param mc a ProbModelChecker, used for checking maximal state formulas * @param model the model * @param expr a path expression, i.e. the LTL formula - * @param labelBS empty vector to be filled with BitSets for subformulas - * @param allowedAcceptance the allowed acceptance types + * @param labelBS empty vector to be filled with BitSets for subformulas + * @param allowedAcceptance the allowed acceptance types * @return the DA */ public DA constructDAForLTLFormula(ProbModelChecker mc, Model model, Expression expr, Vector labelBS, AcceptanceType... allowedAcceptance) throws PrismException