From 99737bee84e43094394d8827bf5fd50dd1304aec Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Jul 2013 17:51:02 -0700
Subject: Resolved some issues with data races.

---
 Source/VCExpr/TypeErasure.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCExpr')

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));
-- 
cgit v1.2.3