Comments.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3360 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/UndefinedConstants.java

@@ -331,7 +331,7 @@ public class UndefinedConstants
 	 *  The method {@link #initialiseIterators() initialiseIterators} must be called after all constants are defined.
 	 *	
 	 *  @param name The name of the constant.
-	 *  @param sl If sh are sl are null, this is the value to be assigned. Otherwise, it is the lower bound for the range.
+	 *  @param sl If sh are ss are null, this is the value to be assigned. Otherwise, it is the lower bound for the range.
 	 *  @param sh The upper bound for the range.
 	 *  @param ss The step for the values. Null means 1.
 	 *  @param useAll If true, throw an exception if {@code name} is does not need to be defined
@@ -349,10 +349,10 @@ public class UndefinedConstants
 	 *  The method {@link #initialiseIterators() initialiseIterators} must be called after all constants are defined.
 	 *	
 	 *  @param name The name of the constant.
-	 *  @param sl If sh are sl are null, this is the value to be assigned. Otherwise, it is the lower bound for the range.
+	 *  @param sl If sh are ss are null, this is the value to be assigned. Otherwise, it is the lower bound for the range.
 	 *  @param sh The upper bound for the range.
 	 *  @param ss The step for the values. Null means 1.
-	 *  @param useAll If true, throw an exception if {@code name} is does not need to be defined
+	 *  @param useAll If true, throw an exception if {@code name} does not need to be defined
 	 *  
 	 *  @return True if the constant was defined before.
 	 */