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);
         }
       }
     }