Use foreach instead of ForEach

boogie-org · Mar 19, 2024 · fbafb12 · fbafb12
1 parent 29979dc
commit fbafb12
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -553,8 +553,8 @@ public async Task<PipelineOutcome> InferAndVerify(
 
       var processedProgram = PreProcessProgramVerification(program);
 
-      if (Options.UseResolvedProgram.Any()) {
-        Options.UseResolvedProgram.ForEach(action => action(Options, processedProgram));
+      foreach (var action in Options.UseResolvedProgram) {
+        action(Options, processedProgram);
       }
 
       if (!Options.Verify)