diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 20:06:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 20:06:21 -0800 |
| commit | e32026cf1ec894d02f792516b6246a5cac35da05 (patch) | |
| tree | ff4d2ab3fb09d109b6b2cd5bf407890bcae3b35f /src/base/cba/cbaReadVer.c | |
| parent | 6ec4680e1bde6f20a00826cc9a15e5f39bdbbf01 (diff) | |
| download | abc-e32026cf1ec894d02f792516b6246a5cac35da05.tar.gz abc-e32026cf1ec894d02f792516b6246a5cac35da05.tar.bz2 abc-e32026cf1ec894d02f792516b6246a5cac35da05.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/cba/cbaReadVer.c')
| -rw-r--r-- | src/base/cba/cbaReadVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cba/cbaReadVer.c b/src/base/cba/cbaReadVer.c index bc5f5c95..6d5a31df 100644 --- a/src/base/cba/cbaReadVer.c +++ b/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 ); |