From b32afd1cc5b08a6320a3478d5be13deae7de6adf Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Mon, 21 Mar 2011 13:40:42 +0000
Subject: Bug fix with model generation.

---
 Source/VCGeneration/Check.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
           }
-- 
cgit v1.2.3