diff options
Diffstat (limited to 'src/proof/fra/fraCec.c')
| -rw-r--r-- | src/proof/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c index aa95b992..3e51bf1e 100644 --- a/src/proof/fra/fraCec.c +++ b/src/proof/fra/fraCec.c @@ -416,7 +416,7 @@ clk = Abc_Clock(); RetValue = Fra_FraigSat( pAig, (ABC_INT64_T)nBTLimitLast, (ABC_INT64_T)0, 0, 0, 0, 1, 0, 0, 0 ); if ( fVerbose ) { - printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) ); + printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) ); ABC_PRT( "Time", Abc_Clock() - clk ); } } |