Fix issue 140. Move the initializion of _this before the TAIL_CALL_START label.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs
index f5f95bd2..d6b2d9ba 100644
--- a/Source/Dafny/Compiler.cs
+++ b/Source/Dafny/Compiler.cs
@@ -937,10 +937,10 @@ namespace Microsoft.Dafny {
         Error("Method {0} has no body", wr, m.FullName);

       } else {

         if (m.IsTailRecursive) {

-          Indent(indent, wr); wr.WriteLine("TAIL_CALL_START: ;");

           if (!m.IsStatic) {

             Indent(indent + IndentAmount, wr); wr.WriteLine("var _this = this;");

           }

+          Indent(indent, wr); wr.WriteLine("TAIL_CALL_START: ;");

         }

         Contract.Assert(enclosingMethod == null);

         enclosingMethod = m;