minor fix so that variable copies in procedures and codeexprs are different.

1 files changed, 1 insertions, 0 deletions

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);

     }