Resolved some issues with data races.

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));