Adding support of reading and writing designs using a new internal format.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h
index 22aa33e3..325cf5d9 100644
--- a/src/aig/miniaig/ndr.h
+++ b/src/aig/miniaig/ndr.h
@@ -379,7 +379,7 @@ static inline void Ndr_ModuleWriteVerilog( char * pFileName, void * pModule, cha
     }
 
     fprintf( pFile, "\nendmodule\n\n" );
-    fclose( pFile );
+    if ( pFileName ) fclose( pFile );
 }
 
 
@@ -507,6 +507,7 @@ static inline void Ndr_ModuleTest()
 
     // write Verilog for verification
     Ndr_ModuleWriteVerilog( NULL, pModule, ppNames );
+    Ndr_ModuleWrite( "add4.ndr", pModule );
     Ndr_ModuleDelete( pModule );
 }