diff options
Diffstat (limited to 'src/misc/util/utilNam.h')
| -rw-r--r-- | src/misc/util/utilNam.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h index 8083a566..8e054fc1 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -52,7 +52,7 @@ typedef struct Abc_Nam_t_ Abc_Nam_t; /*=== utilNam.c ===============================================================*/ extern Abc_Nam_t * Abc_NamStart( int nObjs, int nAveSize ); extern void Abc_NamStop( Abc_Nam_t * p ); -extern void Abc_NamPrint( Abc_Nam_t * p ); +extern void Abc_NamPrint( Abc_Nam_t * p, char * pFileName ); extern Abc_Nam_t * Abc_NamRef( Abc_Nam_t * p ); extern void Abc_NamDeref( Abc_Nam_t * p ); extern int Abc_NamObjNumMax( Abc_Nam_t * p ); |