From 225f211c0b94ad3d13dee857596f322b666fe259 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Tue, 10 Sep 2013 23:45:12 -0700
Subject: minor fix so that variable copies in procedures and codeexprs are
 different.

---
 Source/Core/Inline.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Core')

diff --git a/Source/Core/Inline.cs b/Source/Core/Inline.cs
index 61b3a322..ad9ecef0 100644
--- a/Source/Core/Inline.cs
+++ b/Source/Core/Inline.cs
@@ -50,6 +50,7 @@ namespace Microsoft.Boogie {
         Inliner codeExprInliner = new Inliner(program, inlineCallback, CommandLineOptions.Clo.InlineDepth);
         codeExprInliner.newLocalVars = new List<Variable>(node.LocVars);
         codeExprInliner.newModifies = new List<IdentifierExpr>();
+        codeExprInliner.inlinedProcLblMap = this.inlinedProcLblMap;
         List<Block> newCodeExprBlocks = codeExprInliner.DoInlineBlocks(node.Blocks, ref inlinedSomething);
         return new CodeExpr(codeExprInliner.newLocalVars, newCodeExprBlocks);
     }
-- 
cgit v1.2.3