From d9eab0bc028794b643601c06e18f769f0630c360 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 22 Mar 2012 10:53:36 +0100
Subject: [PATCH] CLEANUP: Remove duplicate check in pruning code.

---
 src/prune_bounds.c | 4 ----
 1 file changed, 4 deletions(-)

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