diff options
Diffstat (limited to 'src/sat/bmc')
-rw-r--r-- | src/sat/bmc/bmcFx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcFx.c b/src/sat/bmc/bmcFx.c index 4bf20bc9..d1ff16d0 100644 --- a/src/sat/bmc/bmcFx.c +++ b/src/sat/bmc/bmcFx.c @@ -558,7 +558,7 @@ int Bmc_FxCompute( Gia_Man_t * p ) int nOuts = Gia_ManCoNum(p); int nCiVars = Gia_ManCiNum(p), iCiVarBeg = pCnf->nVars - nCiVars;// - 1; int o, i, n, RetValue, nCounter, iAuxVarStart = sat_solver_nvars( pSat ); - int nCubes[2][2] = {0}; + int nCubes[2][2] = {{0}}; // create variables Vec_Int_t * vVars = Vec_IntAlloc( nCiVars ); for ( n = 0; n < nCiVars; n++ ) |