fixed a bug in delegate dispatcher name for generic invoke methods

1 files changed, 2 insertions, 1 deletions

diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs
index e6f86e1f..7a56db76 100644
--- a/BCT/BytecodeTranslator/Program.cs
+++ b/BCT/BytecodeTranslator/Program.cs
@@ -390,7 +390,8 @@ namespace BytecodeTranslator {
       }

 

       try {

-        var decl = sink.FindOrCreateProcedure(invokeMethod).Decl;

+        IMethodDefinition unspecializedInvokeMethod = Sink.Unspecialize(invokeMethod).ResolvedMethod;

+        var decl = sink.FindOrCreateProcedure(unspecializedInvokeMethod).Decl;

         var proc = decl as Bpl.Procedure;

         var invars = proc.InParams;

         var outvars = proc.OutParams;