diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-08 09:23:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-08 09:23:31 -0700 |
| commit | bfbbfadfc4f0f951d2cfcb03a06a552fc64278a5 (patch) | |
| tree | d48ac3c4c003c7b63eb2b8697079c4fd39aa5349 /src/aig/gia/giaDup.c | |
| parent | ddb34e871c79445fa49dde002ef71e880637b271 (diff) | |
| download | abc-bfbbfadfc4f0f951d2cfcb03a06a552fc64278a5.tar.gz abc-bfbbfadfc4f0f951d2cfcb03a06a552fc64278a5.tar.bz2 abc-bfbbfadfc4f0f951d2cfcb03a06a552fc64278a5.zip | |
Adding command 'srm2'.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 71204548..3672f7c3 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1345,6 +1345,9 @@ Gia_Man_t * Gia_ManMiter( Gia_Man_t * p0, Gia_Man_t * p1, int fDualOut, int fSeq Gia_ManHashStop( pNew ); pNew = Gia_ManCleanup( pTemp = pNew ); Gia_ManStop( pTemp ); + + pNew = Gia_ManDupNormalized( pTemp = pNew ); + Gia_ManStop( pTemp ); return pNew; } |