Clean up changes.

aoli-al · aoli-al · commit 2640ade95d2d · 2024-11-20T13:20:30.000-05:00
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/PCTScheduler.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/PCTScheduler.cs
@@ -84,8 +84,7 @@ public virtual bool GetNextOperation(AsyncOperation current, IEnumerable<AsyncOp
                 return false;
             }
 
-            var highestEnabledOp = GetPrioritizedOperation(enabledOperations, current);
-            next = highestEnabledOp;
+            next = GetPrioritizedOperation(enabledOperations, current);
 
             return true;
         }

Original file line number	Diff line number	Diff line change
`@@ -84,8 +84,7 @@ public virtual bool GetNextOperation(AsyncOperation current, IEnumerable<AsyncOp`
`84`	`84`	`return false;`
`85`	`85`	`}`
`86`	`86`
`87`		`- var highestEnabledOp = GetPrioritizedOperation(enabledOperations, current);`
`88`		`- next = highestEnabledOp;`
	`87`	`+ next = GetPrioritizedOperation(enabledOperations, current);`
`89`	`88`
`90`	`89`	`return true;`
`91`	`90`	`}`