diff options
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainFrame.c | 2 | ||||
| -rw-r--r-- | src/base/main/module.make | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 5747443c..23e304b3 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -446,7 +446,7 @@ void Abc_FrameDeleteAllNetworks( Abc_Frame_t * p ) Abc_NtkDelete( pNtk ); // set the current network empty p->pNtkCur = NULL; - fprintf( p->Out, "All networks have been deleted.\n" ); +// fprintf( p->Out, "All networks have been deleted.\n" ); } /**Function************************************************************* diff --git a/src/base/main/module.make b/src/base/main/module.make index 7a04e533..367f89f6 100644 --- a/src/base/main/module.make +++ b/src/base/main/module.make @@ -1,5 +1,5 @@ SRC += src/base/main/main.c \ src/base/main/mainFrame.c \ src/base/main/mainInit.c \ - src/base/main/mainUtils.c \ - src/base/main/libSupport.c + src/base/main/libSupport.c \ + src/base/main/mainUtils.c |