From 7e8499dccf1e120a353129b31a55696969280640 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 4 Jul 2017 10:23:11 +0000 Subject: [PATCH] prism.LTLModelChecker: comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12005 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/LTLModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java index b70297a1..69680dc0 100644 --- 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 {