diff options
Diffstat (limited to 'src/base/abc/abcFunc.c')
| -rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index da096741..f43186ee 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -605,12 +605,16 @@ int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ) ***********************************************************************/ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk ) { + extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Abc_Obj_t * pNode; Hop_Man_t * pMan; int i; assert( Abc_NtkHasSop(pNtk) ); + // make dist1-free and SCC-free +// Abc_NtkMakeLegit( pNtk ); + // start the functionality manager pMan = Hop_ManStart(); |