diff options
Diffstat (limited to 'src/opt/sfm/sfmWin.c')
| -rw-r--r-- | src/opt/sfm/sfmWin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmWin.c b/src/opt/sfm/sfmWin.c index 2dd98806..c8f0af61 100644 --- a/src/opt/sfm/sfmWin.c +++ b/src/opt/sfm/sfmWin.c @@ -112,7 +112,7 @@ int Sfm_NtkWindow( Sfm_Ntk_t * p, int iNode ) void Sfm_NtkWin2Sat( Sfm_Ntk_t * p ) { Vec_Int_t * vClause; - int RetValue, Lit, iNode, iFanin, i, k; + int RetValue, Lit, iNode = -1, iFanin, i, k; sat_solver * pSat0 = sat_solver_new(); sat_solver * pSat1 = sat_solver_new(); sat_solver_setnvars( pSat0, 1 + Vec_IntSize(p->vLeaves) + Vec_IntSize(p->vNodes) + 2 * Vec_IntSize(p->vTfo) + Vec_IntSize(p->vRoots) ); |