diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 20:49:36 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-01 20:49:36 +0700 |
| commit | 6e1df46cd346ace1ed118da70c5b301915fcf453 (patch) | |
| tree | 389e73894a0b68dd06498cf3109bc64dda1aadae | |
| parent | d948f7259a61a8eec0fdc94882b530e2d7f0ba12 (diff) | |
| download | abc-6e1df46cd346ace1ed118da70c5b301915fcf453.tar.gz abc-6e1df46cd346ace1ed118da70c5b301915fcf453.tar.bz2 abc-6e1df46cd346ace1ed118da70c5b301915fcf453.zip | |
Updates to delay optimization project.
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index ed3b620e..988ad3db 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -1993,7 +1993,7 @@ Gia_Man_t * Sbd_ManDerive( Gia_Man_t * p, Vec_Int_t * vMirrors ) ***********************************************************************/ void Sbd_NtkPerformOne( Sbd_Man_t * p, int Pivot ) { - Sbd_Str_t Strs[SBD_DIV_MAX]; word Truth = 0; + Sbd_Str_t Strs[SBD_DIV_MAX]; //word Truth = 0; int RetValue, nStrs = 0; if ( !p->pSto && Sbd_ManMergeCuts( p, Pivot ) ) return; |