diff options
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);
}
|