Merge pull request #8 from aoli-al/pr

Fix build.
p-org · Oct 13, 2023 · 88e3ae0 · 88e3ae0
2 parents 2f9b968 + a1dac83
commit 88e3ae0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
@@ -606,7 +606,7 @@ private void RunNextIteration(int schedule)
                 }
 
 
-                if (ShouldPrintIteration(iteration))
+                if (ShouldPrintIteration(schedule))
                 {
                     var seconds = watch.Elapsed.TotalSeconds;
                     Logger.WriteLine($"Elapsed: {seconds}, " +