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
10 years ago · c9f30162c7
1 changed files with 1 additions and 1 deletions
--- 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}.
 	 * <br>
 	 * This is the case if there is a single path to the ONE constant