diff options
Diffstat (limited to 'src/misc/util/utilNam.c')
-rw-r--r-- | src/misc/util/utilNam.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c index c6399818..9615b81f 100644 --- a/src/misc/util/utilNam.c +++ b/src/misc/util/utilNam.c @@ -360,7 +360,9 @@ int Abc_NamStrFind( Abc_Nam_t * p, char * pStr ) int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pfFound ) { int iHandleNew; - int *piPlace = Abc_NamStrHashFind( p, pStr ); + int *piPlace; + assert( pStr[0] != '\\' || pStr[strlen(pStr)-1] == ' ' ); + piPlace = Abc_NamStrHashFind( p, pStr ); if ( *piPlace ) { if ( pfFound ) |