From 27a5f7a4a7e08ac81c28342565b63ed5e24a8ecd Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Tue, 10 Aug 2010 06:41:24 +0000
Subject: Fixed a contract

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

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 29574966..03a06672 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -462,7 +462,7 @@ void ObjectInvariant()
           List<List<int>> array = (List<List<int>>) o;
           List<List<object>> arrayVal = new List<List<object>>();
           foreach (List<int> tuple in array) {
-            Contract.Assert(Contract.Result<List<int>>() != null);
+            Contract.Assert(tuple != null);
 
             List<object> tupleVal = new List<object>();
             foreach (int j in tuple) {
-- 
cgit v1.2.3