From a55a62b598327e4d03254c2c36cfc0abbf85a921 Mon Sep 17 00:00:00 2001
From: Marc Miltenberger <Marc.Miltenberger@sit.fraunhofer.de>
Date: Fri, 29 Nov 2024 15:32:27 +0100
Subject: [PATCH] Correct the counter

---
 src/main/java/soot/dexpler/DexBody.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/soot/dexpler/DexBody.java b/src/main/java/soot/dexpler/DexBody.java
index 1a7d0082e5f..e7aa9a8c347 100755
--- a/src/main/java/soot/dexpler/DexBody.java
+++ b/src/main/java/soot/dexpler/DexBody.java
@@ -1313,7 +1313,7 @@ private void handleKnownDexArrayTypes(Body b, Jimple jimple, MultiMap<Local, Typ
         Value l = ((DefinitionStmt) u).getLeftOp();
         if (l instanceof Local) {
           int counter = localsSingleDefinitions.getOrDefault(l, 0);
-          localsSingleDefinitions.put((Local) l, counter++);
+          localsSingleDefinitions.put((Local) l, counter + 1);
         }
       }
     }