diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:33:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:33:53 -0800 |
| commit | 5b8fa41ba966271f97f99860b21eee83bf51e61a (patch) | |
| tree | a1cdff81fb35c7fb36fd856b42d4cdb47c4adcad /src/base/abci/abcExact.c | |
| parent | d892e63256063ba04f20ca347121116bc67a30e2 (diff) | |
| download | abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.tar.gz abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.tar.bz2 abc-5b8fa41ba966271f97f99860b21eee83bf51e61a.zip | |
Suggested bug fixes in the old code.
Diffstat (limited to 'src/base/abci/abcExact.c')
| -rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 42cf11c5..64225c61 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -1034,7 +1034,7 @@ static word * Ses_ManDeriveTruth( Ses_Man_t * pSes, char * pSol, int fInvert ) for ( i = 0; i < nGates; ++i ) { f = *p++; - assert( *p++ == 2 ); + assert( *p == 2 ), p++; j = *p++; k = *p++; |