diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 19:34:33 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 19:34:33 +0100 |
| commit | 4343d9314d6b1185ee8652d9f3e23d08af6d8bf5 (patch) | |
| tree | 65bce5309d795efc17e9af36846df51642eb0ed3 /Source | |
| parent | eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb (diff) | |
| parent | 2847f28cd79cf34b142cc04890d9442c5bf05ce5 (diff) | |
Merge
Diffstat (limited to 'Source')
| -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 eff8c2e2..19e28099 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);
}
|