From 6e6cc08becbe68734a3b38ae4dc0b56b020d0f39 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 3 Nov 2020 18:02:32 -0800
Subject: Improving resub window computation by always including the TFI of the
 pivot node.

---
 src/opt/sfm/sfmCore.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/opt')

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;
-- 
cgit v1.2.3