diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-18 22:34:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-18 22:34:08 -0700 |
| commit | 6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037 (patch) | |
| tree | bd13cd66aa186c654d126d25e06a460e3aa28d34 /src/aig/gia/giaMuxes.c | |
| parent | e72438b2d3b83d9a5ac646a2499f4374b29ebfbd (diff) | |
| download | abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.tar.gz abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.tar.bz2 abc-6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaMuxes.c')
| -rw-r--r-- | src/aig/gia/giaMuxes.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMuxes.c b/src/aig/gia/giaMuxes.c index c0414d14..5182336f 100644 --- a/src/aig/gia/giaMuxes.c +++ b/src/aig/gia/giaMuxes.c @@ -162,7 +162,7 @@ Gia_Man_t * Gia_ManDupNoMuxes( Gia_Man_t * p ) Gia_Man_t * pNew, * pTemp; Gia_Obj_t * pObj; int i; - assert( p->pMuxes != NULL ); + assert( p->pMuxes != NULL || Gia_ManXorNum(p) ); // start the new manager pNew = Gia_ManStart( 5000 ); pNew->pName = Abc_UtilStrsav( p->pName ); |