Formatting

dafny-lang · Jun 7, 2022 · 2351104 · 2351104
1 parent 461791a
commit 2351104
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;");
  }