diff options
| author |  akashlal <unknown> | 2010-08-10 06:41:24 +0000 |
|---|---|---|
| committer | akashlal <unknown> | 2010-08-10 06:41:24 +0000 |
| commit | 27a5f7a4a7e08ac81c28342565b63ed5e24a8ecd (patch) | |
| tree | 53b4650b838549254444d5566ec3562e680ec2f5 /Source/VCGeneration | |
| parent | 433b863373b3f8ff69d77cd12e708e7b407a6f98 (diff) | |
Fixed a contract
Diffstat (limited to 'Source/VCGeneration')
| -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 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) {
|