From 33ab0a4ecd80aa6ece0913b6f7065bc858f30180 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 23 Dec 2016 12:56:41 +0000 Subject: [PATCH] Modules2MTBDD: comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11942 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Modules2MTBDD.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Modules2MTBDD.java b/prism/src/prism/Modules2MTBDD.java index bc3a2329..e0f3067a 100644 --- a/prism/src/prism/Modules2MTBDD.java +++ b/prism/src/prism/Modules2MTBDD.java @@ -398,7 +398,7 @@ public class Modules2MTBDD } // create a gap in the dd variables - // this allows to prepend additionl row/col vars, e.g. for constructing + // this allows to prepend additional row/col vars, e.g. for constructing // a product model when doing LTL model checking modelVariables.preallocateExtraStateVariables(20);