Fix indentation

boogie-org · Aug 8, 2024 · 43ca15e · 43ca15e
1 parent bb5a3a6
commit 43ca15e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/VCGeneration/SplitAndVerifyWorker.cs b/Source/VCGeneration/SplitAndVerifyWorker.cs
@@ -142,9 +142,9 @@ private async Task StartCheck(int iteration, Split split, Checker checker, Cance
         var splitIdxStr = options.RandomizeVcIterations > 1 ? $"{splitNum} (iteration {iteration})" : $"{splitNum}";
         await run.OutputWriter.WriteLineAsync(string.Format(CultureInfo.InvariantCulture, 
             "    checking split {1}/{2}{3}, {4:0.00}%, {0} ...",
-          split.Stats, splitIdxStr, total,
-          split is ManualSplit manualSplit ? $" (line {manualSplit.Token.line})" : "", 
-          100 * provenCost / (provenCost + remainingCost)));
+            split.Stats, splitIdxStr, total,
+          // split is ManualSplit manualSplit ? $" (line {manualSplit.Token.line})" : "", 
+          // 100 * provenCost / (provenCost + remainingCost)));
       }
 
       callback.OnProgress?.Invoke("VCprove", split.SplitIndex, total,