From 2351104e266667a9a894eb45a2f7011fd4e30476 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= Date: Tue, 7 Jun 2022 06:49:40 -0700 Subject: [PATCH] Formatting --- Source/Dafny/Compilers/Compiler-Csharp.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/Dafny/Compilers/Compiler-Csharp.cs b/Source/Dafny/Compilers/Compiler-Csharp.cs index b60787eb9ae..764fc3697b4 100644 --- a/Source/Dafny/Compilers/Compiler-Csharp.cs +++ b/Source/Dafny/Compilers/Compiler-Csharp.cs @@ -1331,7 +1331,7 @@ public bool ProcessDllImport(MemberDecl decl, ConcreteSyntaxTree wr) { protected override ConcreteSyntaxTree EmitTailCallStructure(MemberDecl member, ConcreteSyntaxTree wr) { Contract.Assume((member is Method m0 && m0.IsTailRecursive) || (member is Function f0 && f0.IsTailRecursive)); // precondition if (!member.IsStatic && !NeedsCustomReceiver(member)) { - var receiverType = member.EnclosingClass is DatatypeDecl dt ? + var receiverType = member.EnclosingClass is DatatypeDecl dt ? "_I" + dt.CompileName + TypeParameters(SelectNonGhost(dt, dt.TypeArgs)) : "var"; wr.WriteLine($"{receiverType} _this = this;"); }