From 32f04186a28b3a3d76d42f54c56dac7deb20d7b9 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Jul 2013 21:30:52 -0700
Subject: Avoid another potential data race.

---
 Source/VCExpr/TypeErasure.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCExpr')

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