diff options
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/TypeErasure.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/TypeErasure.cs b/Source/VCExpr/TypeErasure.cs index 0e3cc9d8..628ebdf1 100644 --- a/Source/VCExpr/TypeErasure.cs +++ b/Source/VCExpr/TypeErasure.cs @@ -406,7 +406,7 @@ namespace Microsoft.Boogie.TypeErasure { CtorType ctype = type.AsCtor;
Function/*!*/ repr = GetTypeCtorRepr(ctype.Decl);
List<VCExpr/*!*/>/*!*/ args = new List<VCExpr/*!*/>(ctype.Arguments.Count);
- foreach (Type/*!*/ t in ctype.Arguments) {
+ foreach (Type/*!*/ t in ctype.Arguments.ToArray()) {
Contract.Assert(t != null);
args.Add(Type2Term(t, varMapping));
}
|