diff options
| author |  akashlal <unknown> | 2011-03-21 13:40:42 +0000 |
|---|---|---|
| committer | akashlal <unknown> | 2011-03-21 13:40:42 +0000 |
| commit | b32afd1cc5b08a6320a3478d5be13deae7de6adf (patch) | |
| tree | 1150dfb357efd22cce4d77c206c5e30f1ec006d4 /Source/VCGeneration/Check.cs | |
| parent | 0fbb73b44554fcf698b772e3bedb40a3e15947b7 (diff) | |
Bug fix with model generation.
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);
}
|