diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-22 13:26:06 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-22 13:26:06 -0800 |
| commit | 2ccb0f783495a65cc597865ba24556cc64b8eaa1 (patch) | |
| tree | 51c7c1b2d8c5427e8f370fcf824b20425754e297 /src/aig | |
| parent | df1f7198e05137e06f4f3eedb480dbf36085018f (diff) | |
| download | abc-2ccb0f783495a65cc597865ba24556cc64b8eaa1.tar.gz abc-2ccb0f783495a65cc597865ba24556cc64b8eaa1.tar.bz2 abc-2ccb0f783495a65cc597865ba24556cc64b8eaa1.zip | |
Suggested bug fix.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaPat2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaPat2.c b/src/aig/gia/giaPat2.c index fef4cf5a..dff2c59d 100644 --- a/src/aig/gia/giaPat2.c +++ b/src/aig/gia/giaPat2.c @@ -346,7 +346,7 @@ void Min_LitMinimize( Min_Man_t * p, int iLit, Vec_Int_t * vLits ) Min_ObjMarkValL( p, Abc_Lit2Var(iLit1) ); else if ( Val0 == 4 && Val1 != 4 ) Min_ObjMarkValL( p, Abc_Lit2Var(iLit0) ); - else if ( Val1 == 4 && Val1 != 4 ) + else if ( Val1 == 4 && Val0 != 4 ) Min_ObjMarkValL( p, Abc_Lit2Var(iLit1) ); else if ( Abc_Random(0) & 1 ) Min_ObjMarkValL( p, Abc_Lit2Var(iLit0) ); |