diff options
Diffstat (limited to 'src/map/mapper/mapperCreate.c')
| -rw-r--r-- | src/map/mapper/mapperCreate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapperCreate.c b/src/map/mapper/mapperCreate.c index 42094477..169e0b46 100644 --- a/src/map/mapper/mapperCreate.c +++ b/src/map/mapper/mapperCreate.c @@ -186,7 +186,7 @@ Map_Man_t * Map_ManCreate( int nInputs, int nOutputs, int fVerbose ) // derive the supergate library if ( Abc_FrameReadLibSuper() == NULL ) { - printf( "The supergate library is not specified. Use \"read_library\" or \"read_super\".\n" ); + printf( "The supergate library is not specified. Use \"read_super\".\n" ); return NULL; } |