prism.LTLModelChecker: comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12005 bbc10eb1-c90d-0410-af57-cb519fbb1720
9 years ago · 7e8499dccf
1 changed files with 1 additions and 1 deletions
--- a/prism/src/prism/LTLModelChecker.java
+++ b/prism/src/prism/LTLModelChecker.java
@ -62,7 +62,7 @@ import parser.type.TypePathBool;
 public class LTLModelChecker extends PrismComponent
 {
 	/**
-	 * Create a new DTMCModelChecker, inherit basic state from parent (unless null).
+	 * Create a new LTLModelChecker, inherit basic state from parent (unless null).
 	 */
 	public LTLModelChecker(PrismComponent parent) throws PrismException
 	{