From 81b040e61c80e7a2d977b5fcf6266ec3460e395c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 18 Sep 2011 17:28:00 -0700 Subject: Fixed minor issues having to do with the number of BDD vars used. --- src/misc/extra/extraBddMisc.c | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/misc') diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index 7d63980a..0bc4a8c5 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -1707,9 +1707,6 @@ cuddBddPermuteRecur( DdManager * manager /* DD manager */ , /* If problem already solved, look up answer and return. */ if ( N->ref != 1 && ( res = cuddHashTableLookup1( table, N ) ) != NULL ) { -#ifdef DD_DEBUG - bddPermuteRecurHits++; -#endif return ( Cudd_NotCond( res, N != node ) ); } -- cgit v1.2.3