Misc changes.

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 )

src/misc/util/utilNam.h

@@ -60,6 +60,7 @@ extern int             Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pf
 extern char *          Abc_NamStr( Abc_Nam_t * p, int id );
 extern Vec_Int_t *     Abc_NamComputeIdMap( Abc_Nam_t * p1, Abc_Nam_t * p2 );
 extern int             Abc_NamReportCommon( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 );
+extern char *          Abc_NamReportUnique( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 );
 
 
 ABC_NAMESPACE_HEADER_END

src/misc/vec/vecInt.h

@@ -259,22 +259,10 @@ static inline Vec_Int_t * Vec_IntDupArray( Vec_Int_t * pVec )
 ***********************************************************************/
 static inline void Vec_IntErase( Vec_Int_t * p )
 {
-    p->pArray = NULL;
+    ABC_FREE( p->pArray );
     p->nSize = 0;
     p->nCap = 0;
 }
-
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
 static inline void Vec_IntFree( Vec_Int_t * p )
 {
     ABC_FREE( p->pArray );