From 2847f28cd79cf34b142cc04890d9442c5bf05ce5 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 22 Jul 2013 09:37:20 -0700
Subject: Fixed an issue with parallelization.

---
 Source/VCGeneration/VC.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCGeneration/VC.cs')

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