From 899806a26cc9c4ed0520901e1f66737c7fb082ca Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 8 Jun 2015 10:31:18 +0000 Subject: [PATCH] Comment typos git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9949 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 7ddaf8fd..c63d419f 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -3542,8 +3542,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener } /** - * Utility method to create and initialiser a (symbolic) model checker based on the current model. - * @param propertiesFile Optional properties file for extra info needed durinng model checking (can be null) + * Utility method to create and initialise a (symbolic) model checker based on the current model. + * @param propertiesFile Optional properties file for extra info needed during model checking (can be null) */ private ModelChecker createModelChecker(PropertiesFile propertiesFile) throws PrismException { @@ -3556,8 +3556,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener } /** - * Utility method to create and initialiser an (explicit) model checker based on the current model. - * @param propertiesFile Optional properties file for extra info needed durinng model checking (can be null) + * Utility method to create and initialise an (explicit) model checker based on the current model. + * @param propertiesFile Optional properties file for extra info needed during model checking (can be null) */ private explicit.StateModelChecker createModelCheckerExplicit(PropertiesFile propertiesFile) throws PrismException {