diff options
Diffstat (limited to 'Source/VCGeneration/Check.cs')
-rw-r--r-- | Source/VCGeneration/Check.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 119218a1..8527e53c 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -731,7 +731,7 @@ namespace Microsoft.Boogie { List<object> tupleVal = new List<object>();
foreach (int j in tuple) {
- tupleVal.Add(cce.NonNull(partitionToValue[i]));
+ tupleVal.Add(cce.NonNull(partitionToValue[j]));
}
arrayVal.Add(tupleVal);
}
|