Typos in javadoc comments.

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

prism/src/parser/ast/ModulesFile.java

@@ -761,7 +761,7 @@ public class ModulesFile extends ASTElement
 	 * Set values for *all* undefined constants and then evaluate all constants.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. 
+	 * The current constant values (if set) are available via {@link #getConstantValues()}. 
 	 * Calling this method also triggers some additional semantic checks
 	 * that can only be done once constant values have been specified.
 	 */

prism/src/parser/ast/PropertiesFile.java

@@ -421,7 +421,7 @@ public class PropertiesFile extends ASTElement
 	 * Set values for *all* undefined constants and then evaluate all constants.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}. 
+	 * The current constant values (if set) are available via {@link #getConstantValues()}. 
 	 */
 	public void setUndefinedConstants(Values someValues) throws PrismLangException
 	{
@@ -436,7 +436,7 @@ public class PropertiesFile extends ASTElement
 	 * Set values for *some* undefined constants and then evaluate all constants where possible.
 	 * If there are no undefined constants, {@code someValues} can be null.
 	 * Undefined constants can be subsequently redefined to different values with the same method.
-	 * The current constant values (if set) are available via {@link #setUndefinedConstants(Values)}.
+	 * The current constant values (if set) are available via {@link #getConstantValues()}.
 	 */
 	public void setSomeUndefinedConstants(Values someValues) throws PrismLangException
 	{