Increase the name mangling to avoid name clashes in the Boogie program. In IL,

members of a type can have the same name.

1 files changed, 3 insertions, 2 deletions

diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs
index be363277..18d735af 100644
--- a/BCT/BytecodeTranslator/Program.cs
+++ b/BCT/BytecodeTranslator/Program.cs
@@ -432,9 +432,10 @@ namespace BytecodeTranslator {
           for (index = 0; index < dispatchProcOutvars.Length; index++) {

             outs.Add(Bpl.Expr.Ident(dispatchProcOutvars[index]));

           }

-          Bpl.Constant c = sink.FindOrAddDelegateMethodConstant(defn);

+          Bpl.Constant c = sink.FindOrCreateDelegateMethodConstant(defn);

+          var procInfo = sink.FindOrCreateProcedure(defn);

           Bpl.Expr bexpr = Bpl.Expr.Binary(Bpl.BinaryOperator.Opcode.Eq, Bpl.Expr.Ident(method), Bpl.Expr.Ident(c));

-          Bpl.CallCmd callCmd = new Bpl.CallCmd(token, c.Name, ins, outs);

+          Bpl.CallCmd callCmd = new Bpl.CallCmd(token, procInfo.Decl.Name, ins, outs);

           ifCmd = BuildIfCmd(bexpr, callCmd, ifCmd);

         }

         Bpl.StmtListBuilder ifStmtBuilder = new Bpl.StmtListBuilder();