From 5f0892264feb7ee673ca210d34635a1367126791 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Wed, 16 Feb 2022 16:19:27 -0800 Subject: [PATCH] Remove trailing whitespace --- Source/Dafny/Verifier/Translator.TrStatement.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/Dafny/Verifier/Translator.TrStatement.cs b/Source/Dafny/Verifier/Translator.TrStatement.cs index b87ba16d570..97461c4474e 100644 --- a/Source/Dafny/Verifier/Translator.TrStatement.cs +++ b/Source/Dafny/Verifier/Translator.TrStatement.cs @@ -1917,7 +1917,7 @@ void TrLoop(LoopStmt s, Expression Guard, BodyTranslator/*?*/ bodyTr, var allInvariants = s.Invariants.Select(inv => inv.E).Aggregate((a, b) => Expression.CreateAnd(a, b)); loopBodyBuilder.Add(TrAssumeCmd(s.Tok, CanCallAssumption(allInvariants, etran))); } - + Bpl.StmtList body = loopBodyBuilder.Collect(s.Tok); builder.Add(new Bpl.WhileCmd(s.Tok, Bpl.Expr.True, invariants, body)); }