- Better prune adherence.

This commit is contained in:
ccremers 2004-08-27 17:37:43 +00:00
parent f90f16fe93
commit 6ccb09297a

View File

@ -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;