From 854cd58edd39ffaffb6340f8a440b4643d7dab14 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 19 Dec 2011 12:07:09 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/visitor/SemanticCheck.java b/prism/src/parser/visitor/SemanticCheck.java index 35aa868e..293e556d 100644 --- a/prism/src/parser/visitor/SemanticCheck.java +++ b/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); } }