diff options
| -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) {
|