summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-02-02 21:37:31 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2022-02-02 21:37:31 -0800
commita6f8625d64e26087b24f9d86b7e7181a05884fda (patch)
tree38e3e8ed749195efd318d3f9b537a6d62a7575c4 /src/aig
parent6097ac1d1aa67732a98caab517a510731fb2f0b1 (diff)
downloadabc-a6f8625d64e26087b24f9d86b7e7181a05884fda.tar.gz
abc-a6f8625d64e26087b24f9d86b7e7181a05884fda.tar.bz2
abc-a6f8625d64e26087b24f9d86b7e7181a05884fda.zip
Experiments with word-level data structures.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/gia/giaMan.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index a40673a7..ec733b85 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -539,7 +539,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
Abc_Print( 1, " %s =%8d", p->pMuxes? "nod" : "and", Gia_ManAndNum(p) );
SetConsoleTextAttribute( hConsole, 13 ); // magenta
Abc_Print( 1, " lev =%5d", Gia_ManLevelNum(p) );
- Abc_Print( 1, " (%.2f)", Gia_ManLevelAve(p) );
+ Abc_Print( 1, " (%7.2f)", Gia_ManLevelAve(p) );
SetConsoleTextAttribute( hConsole, 7 ); // normal
}
#else