diff options
Diffstat (limited to 'src/base/cmd/cmd.c')
-rw-r--r-- | src/base/cmd/cmd.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/base/cmd/cmd.c b/src/base/cmd/cmd.c index 853f5710..a0042443 100644 --- a/src/base/cmd/cmd.c +++ b/src/base/cmd/cmd.c @@ -1078,12 +1078,6 @@ int CmdCommandEmpty( Abc_Frame_t * pAbc, int argc, char **argv ) } } - if ( pAbc->pNtkCur == NULL ) - { - fprintf( pAbc->Out, "Empty network.\n" ); - return 0; - } - Abc_FrameDeleteAllNetworks( pAbc ); Abc_FrameRestart( pAbc ); return 0; |