diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:09:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:09:34 -0700 |
| commit | 71a051f8cd545d7fa4577dcf201025137e11c204 (patch) | |
| tree | 89bf35327c435f89caeb67d8d6a86fc6e607a891 /src/base/abci/abcFx.c | |
| parent | fb33d69db8fbdffc00f0125550e67990a8fba4b0 (diff) | |
| download | abc-71a051f8cd545d7fa4577dcf201025137e11c204.tar.gz abc-71a051f8cd545d7fa4577dcf201025137e11c204.tar.bz2 abc-71a051f8cd545d7fa4577dcf201025137e11c204.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/abci/abcFx.c')
| -rw-r--r-- | src/base/abci/abcFx.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index 4694c394..81b3e802 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -8,9 +8,9 @@ Synopsis [Implementation of traditional "fast_extract" algorithm.] - Author [Alan Mishchenko] + Author [Alan Mishchenko, Bruno Schmitt] - Affiliation [UC Berkeley] + Affiliation [UC Berkeley, UFRGS] Date [Ver. 1.0. Started - April 26, 2013.] @@ -963,7 +963,7 @@ void Fx_ManFindCommonPairs( Vec_Wec_t * vCubes, Vec_Int_t * vPart0, Vec_Int_t * ***********************************************************************/ void Fx_ManUpdate( Fx_Man_t * p, int iDiv, int * fWarning ) { - Vec_Int_t * vCube, * vCube2, * vLitP, * vLitN; + Vec_Int_t * vCube, * vCube2, * vLitP = NULL, * vLitN = NULL; Vec_Int_t * vDiv = p->vDiv; int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level; float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv)); |