Typo in error message (old debugging info).

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

prism/src/parser/visitor/SemanticCheck.java

@@ -393,7 +393,7 @@ public class SemanticCheck extends ASTTraverse
 			throw new PrismLangException("Not enough arguments to \"" + e.getName() + "\" function", e);
 		}
 		if (e.getMaxArity() != -1 && e.getNumOperands() > e.getMaxArity()) {
-			throw new PrismLangException("Too many " + e.getMaxArity() + "arguments to \"" + e.getName() + "\" function", e);
+			throw new PrismLangException("Too many arguments to \"" + e.getName() + "\" function", e);
 		}
 	}