From 74052cf22678825b82359fb31bc47947b3f151dd Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 10 Mar 2006 14:52:45 +0000
Subject: [PATCH] - Code cleanup for intruder count.

---
 src/prune_bounds.c | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/src/prune_bounds.c b/src/prune_bounds.c
index f6ecf5a..4e56d59 100644
--- a/src/prune_bounds.c
+++ b/src/prune_bounds.c
@@ -162,15 +162,19 @@ prune_bounds (const System sys)
     actioncount = countIntruderActions ();
 
     // Limit intruder actions in any case
-    if (!(switches.intruder) && actioncount > 0)
+    if (!switches.intruder)
       {
-	if (switches.output == PROOF)
+	if (actioncount > 0)
 	  {
-	    indentPrint ();
-	    eprintf
-	      ("Pruned: no intruder allowed.\n", switches.maxIntruderActions);
+	    if (switches.output == PROOF)
+	      {
+		indentPrint ();
+		eprintf
+		  ("Pruned: no intruder allowed.\n",
+		   switches.maxIntruderActions);
+	      }
+	    return 1;
 	  }
-	return 1;
       }
 
     // Limit on intruder events count