diff options
Diffstat (limited to 'src/base/io/ioRead.c')
-rw-r--r-- | src/base/io/ioRead.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/io/ioRead.c b/src/base/io/ioRead.c index 6422461c..70e648a7 100644 --- a/src/base/io/ioRead.c +++ b/src/base/io/ioRead.c @@ -42,6 +42,9 @@ Abc_Ntk_t * Io_Read( char * pFileName, int fCheck ) { Abc_Ntk_t * pNtk, * pTemp; +// extern int s_TotalNodes; +// extern int s_TotalChanges; +// s_TotalNodes = s_TotalChanges = 0; // set the new network if ( Extra_FileNameCheckExtension( pFileName, "blif" ) ) pNtk = Io_ReadBlif( pFileName, fCheck ); |