diff options
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index f1678492..1214e7b2 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -832,7 +832,7 @@ static inline Abc_Obj_t * Abc_NtkFromCellRead( Abc_Ntk_t * p, Vec_Int_t * vCopyL } Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ) { - int fVerbose = 0; + int fVerbose = 1; int fDuplicate = 1; Abc_Ntk_t * pNtkNew; Vec_Int_t * vCopyLits; |