summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaEquiv.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
-rw-r--r--src/aig/gia/giaEquiv.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index ba34fc6b..383d4e8d 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -954,7 +954,8 @@ Gia_Man_t * Gia_ManSpecReduce( Gia_Man_t * p, int fDualOut, int fSynthesis, int
Vec_IntForEachEntry( vGuide, iLit, i )
if ( iLit )
nAddPos++;
- assert( Gia_ManPoNum(pNew) == Gia_ManPoNum(p) + nAddPos );
+ if ( nAddPos )
+ assert( Gia_ManPoNum(pNew) == Gia_ManPoNum(p) + nAddPos );
}
Vec_IntFreeP( &vTrace );
Vec_IntFreeP( &vGuide );