diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 10:54:53 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 10:54:53 +0100 |
| commit | 5664c5e30f16b74eae4cdcb0b9ba65d5b030c815 (patch) | |
| tree | fe40419b6ac67768a9274cc64d7277e350fe1561 /Source/Core/AbsyExpr.cs | |
| parent | 8547ab2737f6bcb185398e4cbc3edde3847cb085 (diff) | |
Refactoring of VariableSeq and TypeSeq
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index 14534929..24622d8b 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -1817,7 +1817,7 @@ namespace Microsoft.Boogie { tpInstantiation = SimpleTypeParamInstantiation.EMPTY;
return null;
} else {
- Contract.Assert(actualResultType.Length == 1);
+ Contract.Assert(actualResultType.Count == 1);
tpInstantiation =
SimpleTypeParamInstantiation.From(Func.TypeParameters, resultingTypeArgs);
return actualResultType[0];
|