diff options
Diffstat (limited to 'src/map/if/ifDsd.c')
-rw-r--r-- | src/map/if/ifDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 7afec99e..96dd7a37 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -486,7 +486,7 @@ int If_DsdObjCompare( Vec_Ptr_t * p, int iLit0, int iLit1 ) return -1; if ( Abc_LitIsCompl(iLit0) < Abc_LitIsCompl(iLit1) ) return 1; - assert( iLit0 == iLit1 ); +// assert( iLit0 == iLit1 ); return 0; } void If_DsdObjSort( Vec_Ptr_t * p, int * pLits, int nLits, int * pPerm ) |