diff options
Diffstat (limited to 'src/base/cmd/cmd.c')
| -rw-r--r-- | src/base/cmd/cmd.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c index ac012516..41299790 100644 --- a/src/base/cmd/cmd.c +++ b/src/base/cmd/cmd.c @@ -1261,7 +1261,7 @@ int CmdCommandSis( Abc_Frame_t * pAbc, int argc, char **argv ) if ( Abc_NtkIsMappedLogic(pNtk) ) { - Abc_NtkUnmap(pNtk); + Abc_NtkMapToSop(pNtk); printf( "The current network is unmapped before calling SIS.\n" ); } @@ -1402,7 +1402,7 @@ int CmdCommandMvsis( Abc_Frame_t * pAbc, int argc, char **argv ) if ( Abc_NtkIsMappedLogic(pNtk) ) { - Abc_NtkUnmap(pNtk); + Abc_NtkMapToSop(pNtk); printf( "The current network is unmapped before calling MVSIS.\n" ); } @@ -1548,7 +1548,7 @@ int CmdCommandCapo( Abc_Frame_t * pAbc, int argc, char **argv ) if ( Abc_NtkIsMappedLogic(pNtk) ) { - Abc_NtkUnmap(pNtk); + Abc_NtkMapToSop(pNtk); printf( "The current network is unmapped before calling Capo.\n" ); } |