diff options
Diffstat (limited to 'src/opt/dar/darCut.c')
-rw-r--r-- | src/opt/dar/darCut.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dar/darCut.c b/src/opt/dar/darCut.c index b272b388..f0d10100 100644 --- a/src/opt/dar/darCut.c +++ b/src/opt/dar/darCut.c @@ -734,7 +734,7 @@ Dar_Cut_t * Dar_ObjComputeCuts_rec( Dar_Man_t * p, Aig_Obj_t * pObj ) { if ( Dar_ObjCuts(pObj) ) return Dar_ObjCuts(pObj); - if ( Aig_ObjIsPi(pObj) ) + if ( Aig_ObjIsCi(pObj) ) return Dar_ObjPrepareCuts( p, pObj ); if ( Aig_ObjIsBuf(pObj) ) return Dar_ObjComputeCuts_rec( p, Aig_ObjFanin0(pObj) ); |