diff --git a/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java b/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
index 2ae4b019..abb9aaa2 100644
--- a/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
+++ b/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
@@ -113,7 +113,7 @@ public Instruction execute (ThreadInfo ti) {
                         arrayRef = frame.peek(2);
                         ElementInfo eiArray = ti.getModifiableElementInfo(arrayRef);
                         eiArray.setReferenceElement(currentChoice, value);
-
+                        ((PCChoiceGenerator) cg).setCurrentPC(pc);
                         frame.pop(3); // We pop the array, the object and the index
                         return getNext(ti);
                       } else {