From e07bb984bd446f9f9ddd469c6458c5de6000097b Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 1 Apr 2016 11:10:26 +0100
Subject: Ensure unique generated argument names

---
 src/main/java/org/zwobble/couscous/frontends/java/JavaReader.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java/org/zwobble/couscous/frontends')

diff --git a/src/main/java/org/zwobble/couscous/frontends/java/JavaReader.java b/src/main/java/org/zwobble/couscous/frontends/java/JavaReader.java
index e6dbe50..fc93345 100644
--- a/src/main/java/org/zwobble/couscous/frontends/java/JavaReader.java
+++ b/src/main/java/org/zwobble/couscous/frontends/java/JavaReader.java
@@ -414,7 +414,7 @@ public class JavaReader {
                 overrides(method),
                 override -> !override.equals(methodNode.signature())),
             override -> {
-                List<FormalArgumentNode> arguments = eagerMap(override.getArguments(), argument -> scope.formalArgument("arg", argument));
+                List<FormalArgumentNode> arguments = eagerMapWithIndex(override.getArguments(), (argument, index) -> scope.formalArgument("arg" + index, argument));
                 MethodCallNode call = MethodCallNode.methodCall(
                     thisReference(type),
                     methodNode.getName(),
-- 
cgit v1.2.3