diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-06-08 10:45:25 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-06-08 10:45:25 -0700 |
| commit | f8dc2288a5c3c3022ed631d59f23ffada9b243ce (patch) | |
| tree | 1ee4a8edecb90c527684d1b1fa8b51e6e06b31fb | |
| parent | 2198a9906f5d87f35ccda561fcea3540f5c87fd5 (diff) | |
bug fix in call to constructor of ProcedureInfo
| -rw-r--r-- | BCT/BytecodeTranslator/Sink.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BCT/BytecodeTranslator/Sink.cs b/BCT/BytecodeTranslator/Sink.cs index b795df27..4476b7f7 100644 --- a/BCT/BytecodeTranslator/Sink.cs +++ b/BCT/BytecodeTranslator/Sink.cs @@ -489,7 +489,7 @@ namespace BytecodeTranslator { } else {
this.TranslatedProgram.TopLevelDeclarations.Add(decl);
}
- procInfo = new ProcedureInfo(decl, formalMap, retVariable, excVariable, excVariable, localExcVariable, typeParameters, methodParameters);
+ procInfo = new ProcedureInfo(decl, formalMap, retVariable, thisVariable, excVariable, localExcVariable, typeParameters, methodParameters);
this.declaredMethods.Add(key, procInfo);
// Can't visit the method's contracts until the formalMap and procedure are added to the
|