diff --git a/src/prune_bounds.c b/src/prune_bounds.c index bd66fb5..e516310 100644 --- a/src/prune_bounds.c +++ b/src/prune_bounds.c @@ -198,10 +198,6 @@ prune_bounds (const System sys) return 1; } - // Limit on attack count - if (enoughAttacks (sys)) - return 1; - // Pruning involving the number of intruder actions { // Count intruder actions