Refactoring

boogie-org · Nov 11, 2021 · 1634080 · 1634080
1 parent edcf878
commit 1634080
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/Core/Prune/DependencyEvaluator.cs b/Source/Core/Prune/DependencyEvaluator.cs
@@ -32,8 +32,8 @@ public static bool ExcludeDep(Declaration declaration)
 
  protected void AddIncoming(Declaration newIncoming)
  {
- if (CommandLineOptions.Clo.Prune == CommandLineOptions.PruneMode.Automatic && !ExcludeDep(newIncoming)) {
- incomingSets.Add(new[] { newIncoming });
+ if (!ExcludeDep(newIncoming)) {
+ AddIncoming(new[] { newIncoming });
  }
  }