diff options
Diffstat (limited to 'src/map/super')
| -rw-r--r-- | src/map/super/super.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/super/super.c b/src/map/super/super.c index 28fffa6e..f188472e 100644 --- a/src/map/super/super.c +++ b/src/map/super/super.c @@ -267,7 +267,7 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv ) fclose( pFile ); // set the new network - pLib = Mio_LibraryRead( FileName, ExcludeFile, fVerbose ); + pLib = Mio_LibraryRead( FileName, NULL, ExcludeFile, fVerbose ); if ( pLib == NULL ) { fprintf( pErr, "Reading library has failed.\n" ); |