diff options
Diffstat (limited to 'src/opt/sfm')
| -rw-r--r-- | src/opt/sfm/sfmCore.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c index fe69d480..356aea35 100644 --- a/src/opt/sfm/sfmCore.c +++ b/src/opt/sfm/sfmCore.c @@ -232,7 +232,6 @@ finish: int Sfm_NodeResubOne( Sfm_Ntk_t * p, int iNode ) { int fSkipUpdate = 0; - int fVeryVerbose = 0;//p->pPars->fVeryVerbose; int i, iFanin; word uTruth; abctime clk; |