From 2c275b8c7156e22f317edc81fe8ab3cbb82e0a76 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 31 Mar 2013 23:14:12 -0700 Subject: Compiler warnings. --- src/bool/rsb/rsbDec6.c | 4 ---- src/opt/dau/dauTree.c | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) (limited to 'src') diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c index 90f88938..a0e066fc 100644 --- a/src/bool/rsb/rsbDec6.c +++ b/src/bool/rsb/rsbDec6.c @@ -637,10 +637,6 @@ if ( fVerbose ) Rsb_DecPrintTable( pCexes, nGs, nGsAll, vTries ); if ( fVerbose ) Vec_IntFree( vTries ); - if ( fVerbose && Vec_IntSize(p->vFaninsOld) && Vec_IntSize(p->vFaninsOld) <= 4 && Vec_IntSize(p->vFaninsOld) > Vec_IntSize(p->vFanins) ) - { - int s = 0; - } return uTruth; } diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 3e465632..dd62642b 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -1693,7 +1693,7 @@ Dss_Ent_t * Dss_ManSharedMapDerive( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str int Mpm_FuncCompute( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str_t * vShared, int * pPerm, int * pnLeaves ) { int fVerbose = 0; - int fCheck = 0; +// int fCheck = 0; Dss_Ent_t * pEnt, ** ppSpot; Dss_Fun_t * pFun; int iDsd[2] = { iDsd0, iDsd1 }; -- cgit v1.2.3