Fixing a typo, which led to not printing delay in 'ps' after SC mapping.

10953634 · Alan Mishchenko · f866920e · 10953634
Commit 10953634 authored Jul 02, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcPrint.c
+1 -1

No files found.
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -258,7 +258,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
    else if ( Abc_NtkHasMapping(pNtk) )
    {
        fprintf( pFile, "  area =%5.2f", Abc_NtkGetMappedArea(pNtk) );
-        fprintf( pFile, "  delay =%5.2f", Abc_NtkGetArea(pNtk) );
+        fprintf( pFile, "  delay =%5.2f", Abc_NtkDelayTrace(pNtk) );
    }
    else if ( !Abc_NtkHasBlackbox(pNtk) )
    {