diff options
Diffstat (limited to 'src/base/abci/abcUnate.c')
-rw-r--r-- | src/base/abci/abcUnate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcUnate.c b/src/base/abci/abcUnate.c index 8fd2a12f..20804d19 100644 --- a/src/base/abci/abcUnate.c +++ b/src/base/abci/abcUnate.c @@ -84,7 +84,7 @@ clkBdd = clock() - clk; // pbGlobal = (DdNode **)Vec_PtrArray( pNtk->vFuncsGlob ); // print the size of the BDDs - printf( "The shared BDD size is %d nodes.\n", Cudd_ReadKeys(dd) - Cudd_ReadDead(dd) ); + printf( "Shared BDD size = %6d nodes.\n", Cudd_ReadKeys(dd) - Cudd_ReadDead(dd) ); // perform naive BDD-based computation if ( fUseNaive ) |