From 6ccb09297ae53d43ed5f1dcd5c5547fca5ba47b8 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 27 Aug 2004 17:37:43 +0000 Subject: [PATCH] - Better prune adherence. --- src/arachne.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/arachne.c b/src/arachne.c index b9d6427..e2d7baa 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -1415,7 +1415,7 @@ property_check () /** * Prune this? */ - if (sys->prune == 2) + if (sys->prune > 0) { /* default: if any attack is found, abort the procedure */ flag = 0;