diff options
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/TypeErasure.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCExpr/TypeErasure.cs b/Source/VCExpr/TypeErasure.cs index 3fb0a3ff..0e3cc9d8 100644 --- a/Source/VCExpr/TypeErasure.cs +++ b/Source/VCExpr/TypeErasure.cs @@ -916,7 +916,7 @@ namespace Microsoft.Boogie.TypeErasure { Contract.Requires(rawType != null);
Contract.Ensures(Contract.Result<MapType>() != null);
List<Type>/*!*/ newArguments = new List<Type>();
- foreach (Type/*!*/ subtype in rawType.Arguments) {
+ foreach (Type/*!*/ subtype in rawType.Arguments.ToList()) {
Contract.Assert(subtype != null);
newArguments.Add(ThinOutType(subtype, rawType.TypeParameters,
instantiations));
@@ -964,7 +964,7 @@ namespace Microsoft.Boogie.TypeErasure { // traverse the subtypes
CtorType/*!*/ rawCtorType = rawType.AsCtor;
List<Type>/*!*/ newArguments = new List<Type>();
- foreach (Type/*!*/ subtype in rawCtorType.Arguments) {
+ foreach (Type/*!*/ subtype in rawCtorType.Arguments.ToList()) {
Contract.Assert(subtype != null);
newArguments.Add(ThinOutType(subtype, boundTypeParams,
instantiations));
|