diff options
author | wuestholz <unknown> | 2013-07-22 09:37:20 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-22 09:37:20 -0700 |
commit | 2847f28cd79cf34b142cc04890d9442c5bf05ce5 (patch) | |
tree | 4336a91c0dbf77d97747d9d121169aeb805329d7 /Source/VCGeneration/VC.cs | |
parent | 858d43ff93a0cc9bc30ce55906499fb9157124c9 (diff) |
Fixed an issue with parallelization.
Diffstat (limited to 'Source/VCGeneration/VC.cs')
-rw-r--r-- | Source/VCGeneration/VC.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 055a79ad..ca03e690 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2199,10 +2199,10 @@ namespace VC { if (CommandLineOptions.Clo.ExpandLambdas)
{
List<Expr> axioms;
- List<Function> functions;
- LambdaHelper.Desugar(impl, out axioms, out functions);
+ List<Function> functions;
lock (program.TopLevelDeclarations)
{
+ LambdaHelper.Desugar(impl, out axioms, out functions);
program.TopLevelDeclarations.AddRange(functions);
}
|