From 079e9ea36a3e18e6056289eb65737a98ccf3fbb8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 20:35:37 +0000 Subject: [PATCH] Typos. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9987 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 1fb7b7c6..d85c11fa 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1671,7 +1671,7 @@ public class PrismCL implements PrismModelListener } // Unknown extension else { - throw new PrismException("Unknown extension \"" + ext + "\" for -exportmodel switch"); + throw new PrismException("Unknown extension \"" + ext + "\" for -importmodel switch"); } // Check at least the transition matrix was imported if (!importtrans) { @@ -1687,7 +1687,7 @@ public class PrismCL implements PrismModelListener } // Unknown option else { - throw new PrismException("Unknown option \"" + opt + "\" for -exportmodel switch"); + throw new PrismException("Unknown option \"" + opt + "\" for -importmodel switch"); } }*/ } @@ -1841,7 +1841,7 @@ public class PrismCL implements PrismModelListener /** * Split a string of the form : into its two parts. * The latter can be empty, in which case the : is optional. - * Instances of :\ are ignored (nor treated as :) in case there is a Windows filename. + * Instances of :\ are ignored (not treated as :) in case there is a Windows filename. * @return the two parts as an array of two strings. */ private static String[] splitFilesAndOptions(String filesOptionsString)