Fix comp error

boogie-org · Aug 9, 2024 · f98fe32 · f98fe32
1 parent 43ca15e
commit f98fe32
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/VCGeneration/SplitAndVerifyWorker.cs b/Source/VCGeneration/SplitAndVerifyWorker.cs
@@ -143,8 +143,8 @@ private async Task StartCheck(int iteration, Split split, Checker checker, Cance
         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 is ManualSplit manualSplit ? $" (line {manualSplit.Token.line})" : "", 
+            100 * provenCost / (provenCost + remainingCost)));
       }
 
       callback.OnProgress?.Invoke("VCprove", split.SplitIndex, total,