Compiler warnings.

src/base/cba/cbaPrs.h

@@ -102,6 +102,7 @@ struct Prs_Man_t_
 
 static inline Prs_Ntk_t * Prs_ManNtk( Vec_Ptr_t * vPrs, int i )        { return (Prs_Ntk_t *)Vec_PtrEntry(vPrs, i);              }
 static inline Prs_Ntk_t * Prs_ManRoot( Vec_Ptr_t * vPrs )              { return Prs_ManNtk(vPrs, 0);                             }
+static inline Abc_Nam_t * Prs_ManNameMan( Vec_Ptr_t * vPrs )           { return Prs_ManRoot(vPrs)->pStrs;                        }
 
 static inline int         Prs_NtkId( Prs_Ntk_t * p )                   { return p->iModuleName;                                  }
 static inline int         Prs_NtkPioNum( Prs_Ntk_t * p )               { return Vec_IntSize(&p->vInouts);                        }
@@ -322,7 +323,7 @@ static inline int Prs_ManMemory( Vec_Ptr_t * vPrs )
     int nMem = Vec_PtrMemory(vPrs);
     Vec_PtrForEachEntry( Prs_Ntk_t *, vPrs, pNtk, i )
         nMem += Prs_NtkMemory( pNtk );
-    nMem += Abc_NamMemUsed(pNtk->pStrs);
+    nMem += Abc_NamMemUsed(Prs_ManNameMan(vPrs));
     return nMem;
 }
 

src/base/cba/cbaReadBlif.c

@@ -422,7 +422,7 @@ void Prs_ManReadBlifTest()
     Vec_Ptr_t * vPrs = Prs_ManReadBlif( "c/hie/dump/1/netlist_1_out8.blif" );
     if ( !vPrs ) return;
     printf( "Finished reading %d networks. ", Vec_PtrSize(vPrs) );
-    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManRoot(vPrs)->pStrs) );
+    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManNameMan(vPrs)) );
     printf( "Memory = %.2f MB. ", 1.0*Prs_ManMemory(vPrs)/(1<<20) );
     Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
 //    Abc_NamPrint( p->pStrs );

src/base/cba/cbaReadVer.c

@@ -791,7 +791,7 @@ void Prs_ManReadVerilogTest( char * pFileName )
 //    Vec_Ptr_t * vPrs = Prs_ManReadVerilog( "aga/ray/ray_wide.v" );
     if ( !vPrs ) return;
     printf( "Finished reading %d networks. ", Vec_PtrSize(vPrs) );
-    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManRoot(vPrs)->pStrs) );
+    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManNameMan(vPrs)) );
     printf( "Memory = %.2f MB. ", 1.0*Prs_ManMemory(vPrs)/(1<<20) );
     Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
     Prs_ManWriteVerilog( "c/hie/dump/1/netlist_1_out_new.v", vPrs );