diff options
| author |  wuestholz <unknown> | 2013-07-23 21:30:52 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-23 21:30:52 -0700 |
| commit | 32f04186a28b3a3d76d42f54c56dac7deb20d7b9 (patch) | |
| tree | 2e5bc0648ef8020f7d23e5d46169bf7124feb2a4 /Source/VCExpr | |
| parent | d3c2801fd211c69c61fcc85e3c3f1a18c3d0f187 (diff) | |
Avoid another potential data race.
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));
}
|