diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-04 14:29:57 -0800 |
| commit | bc288a76332b1684b0183084aee0a4f46c617b62 (patch) | |
| tree | dd8054d1408836d7e1bdc51eb6b2af2fb351eb70 /src/proof/fraig | |
| parent | 9842e82326b8e0a6605460888ae56757cb9a9a0f (diff) | |
| download | abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.gz abc-bc288a76332b1684b0183084aee0a4f46c617b62.tar.bz2 abc-bc288a76332b1684b0183084aee0a4f46c617b62.zip | |
Suggested white-space changes for fewer gcc warnings.
Diffstat (limited to 'src/proof/fraig')
| -rw-r--r-- | src/proof/fraig/fraigSat.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/fraig/fraigSat.c b/src/proof/fraig/fraigSat.c index 3c1b2a1b..7cad3eab 100644 --- a/src/proof/fraig/fraigSat.c +++ b/src/proof/fraig/fraigSat.c @@ -358,8 +358,8 @@ p->timeTrav += Abc_Clock() - clk; // printf( "The number of MUXes detected = %d (%5.2f %% of logic). ", nMuxes, 300.0*nMuxes/(p->vNodes->nSize - p->vInputs->nSize) ); // ABC_PRT( "Time", Abc_Clock() - clk ); -if ( fVerbose ) - printf( "%d(%d) - ", Fraig_CountPis(p,p->vVarsInt), Msat_IntVecReadSize(p->vVarsInt) ); + if ( fVerbose ) + printf( "%d(%d) - ", Fraig_CountPis(p,p->vVarsInt), Msat_IntVecReadSize(p->vVarsInt) ); // prepare variable activity @@ -574,8 +574,8 @@ clk = Abc_Clock(); // Fraig_PrepareCones( p, pOld, pNew ); p->timeTrav += Abc_Clock() - clk; -if ( fVerbose ) - printf( "%d(%d) - ", Fraig_CountPis(p,p->vVarsInt), Msat_IntVecReadSize(p->vVarsInt) ); + if ( fVerbose ) + printf( "%d(%d) - ", Fraig_CountPis(p,p->vVarsInt), Msat_IntVecReadSize(p->vVarsInt) ); // get the complemented attribute |