diff options
Diffstat (limited to 'src/map/mapper/mapper.h')
-rw-r--r-- | src/map/mapper/mapper.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapper.h b/src/map/mapper/mapper.h index 0c8a8f42..67c582e0 100644 --- a/src/map/mapper/mapper.h +++ b/src/map/mapper/mapper.h @@ -165,7 +165,7 @@ extern void Map_CutCreateFromNode( Map_Man_t * p, Map_Super_t * pSupe /*=== mapperCore.c =============================================================*/ extern int Map_Mapping( Map_Man_t * p ); /*=== mapperLib.c =============================================================*/ -extern int Map_SuperLibDeriveFromGenlib( Mio_Library_t * pLib ); +extern int Map_SuperLibDeriveFromGenlib( Mio_Library_t * pLib, int fVerbose ); extern void Map_SuperLibFree( Map_SuperLib_t * p ); /*=== mapperMntk.c =============================================================*/ //extern Mntk_Man_t * Map_ConvertMappingToMntk( Map_Man_t * pMan ); |