Commit 36161e50 authored by Joachim Müssig's avatar Joachim Müssig

Fix bug in contract creation for methods with multiple parameters

parent 96c6bdc4
......@@ -745,7 +745,7 @@ public class JavaForKeYCreator {
}
} else {
if (p_number < methodBodyListener.getExtractedMethodParamNames().size()) {
return methodBodyListener.getExtractedMethodParamNames().get(p_number);
return methodBodyListener.getExtractedMethodParamNames().get(p_number - 1);
} else if (methodBodyListener.getMethodParamsNullable() != null) {
int lastSpace =
methodBodyListener.getMethodParamsNullable().lastIndexOf(" ") + 1;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment