diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 16:38:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-09 16:38:08 -0800 |
| commit | 7a2984bbe9e2d9e76851c0ce440e08f6788fcb70 (patch) | |
| tree | 1a881ad856e68b06971fa439f6467274954d7924 /src/base/wlc/wlcAbs.c | |
| parent | 2fe17c1f4bf2a4df4076ad2fee336f568c52786f (diff) | |
| download | abc-7a2984bbe9e2d9e76851c0ce440e08f6788fcb70.tar.gz abc-7a2984bbe9e2d9e76851c0ce440e08f6788fcb70.tar.bz2 abc-7a2984bbe9e2d9e76851c0ce440e08f6788fcb70.zip | |
Word-level abstraction.
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 8662e509..ce6b8de9 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -173,7 +173,7 @@ Wlc_Ntk_t * Wlc_NtkAbstractNodes( Wlc_Ntk_t * p, Vec_Int_t * vNodesInit ) if ( vNodes != vNodesInit ) Vec_IntFree( vNodes ); // reconstruct topological order - pNew = Wlc_NtkDupDfs( p, 0, 1, NULL ); + pNew = Wlc_NtkDupDfs( p, 0, 1 ); return pNew; } @@ -277,7 +277,7 @@ Wlc_Ntk_t * Wlc_NtkUifNodePairs( Wlc_Ntk_t * p, Vec_Int_t * vPairsInit ) if ( vPairs != vPairsInit ) Vec_IntFree( vPairs ); // reconstruct topological order - pNew = Wlc_NtkDupDfs( p, 0, 1, NULL ); + pNew = Wlc_NtkDupDfs( p, 0, 1 ); return pNew; } |