From 66d2201c2be58c82c4b34bce8b6f789e59994c04 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 19 Mar 2019 11:26:43 +0200 Subject: Fixing several potential bugs. --- src/bdd/dsd/dsdProc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/bdd') 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 -- cgit v1.2.3