Updates to delay optimization project.

This commit is contained in:
Alan Mishchenko 2017-01-01 20:49:36 +07:00
parent d948f7259a
commit 6e1df46cd3
1 changed files with 1 additions and 1 deletions

View File

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