From c9f30162c7fdb906b2d570ac632fc59dbf51301b Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 8 Jun 2016 15:33:18 +0000 Subject: [PATCH] JDD: fix typos in comment for JDD.isSingleton git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11397 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jdd/JDD.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java index 7fea7a34..7c3e6637 100644 --- a/prism/src/jdd/JDD.java +++ b/prism/src/jdd/JDD.java @@ -978,7 +978,7 @@ public class JDD } /** - * Returns {@true} if the {@code dd} is is a single satisfying + * Returns {@true} if {@code dd} is a single satisfying * assignment to the variables in {@code vars}. *
* This is the case if there is a single path to the ONE constant