diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-08 17:37:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-08 17:37:26 -0800 |
| commit | 31fb2e850625b8bdeb518c7c430e043272aed6c0 (patch) | |
| tree | 83fd5dd775321e923f8e878af13b6fbdd02fe7c5 /src/map/if/ifDsd.c | |
| parent | 4b0c12eb1e03ac863d09efc643d3253c4bfe3af4 (diff) | |
| download | abc-31fb2e850625b8bdeb518c7c430e043272aed6c0.tar.gz abc-31fb2e850625b8bdeb518c7c430e043272aed6c0.tar.bz2 abc-31fb2e850625b8bdeb518c7c430e043272aed6c0.zip | |
Changes to LUT mappers.
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 ) |