diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-31 23:14:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-31 23:14:12 -0700 |
| commit | 2c275b8c7156e22f317edc81fe8ab3cbb82e0a76 (patch) | |
| tree | ffc3aadc3599760718268202769a6004bbc4209e /src/bool | |
| parent | 2650f945986192f78af049fc8c11e4be0b327f8b (diff) | |
| download | abc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.tar.gz abc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.tar.bz2 abc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/rsb/rsbDec6.c | 4 |
1 files changed, 0 insertions, 4 deletions
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; } |