diff options
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/dsd/dsdProc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/dsd/dsdProc.c b/src/bdd/dsd/dsdProc.c index bcc3102c..8c775e8b 100644 --- a/src/bdd/dsd/dsdProc.c +++ b/src/bdd/dsd/dsdProc.c @@ -873,7 +873,7 @@ if ( s_Show ) for ( m = 0; m < pLR->nDecs; m++ ) if ( pLR->pDecs[m] != pLastDiffL ) pCommon[nCommon++] = pLR->pDecs[m]; - assert( nCommon = pLR->nDecs-1 ); + assert( nCommon == pLR->nDecs-1 ); } } else |