diff options
Diffstat (limited to 'src/bdd/parse/parseCore.c')
| -rw-r--r-- | src/bdd/parse/parseCore.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bdd/parse/parseCore.c b/src/bdd/parse/parseCore.c index eb89b3e3..0071fb5a 100644 --- a/src/bdd/parse/parseCore.c +++ b/src/bdd/parse/parseCore.c @@ -120,7 +120,8 @@ DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormulaInit, int nVars, in char * pTemp; int nParans, fFound, Flag; int Oper, Oper1, Oper2; - int i, v, fLower; + int i, fLower; + int v = -1; // Suppress "might be used uninitialized" // make sure that the number of vars and ranks is correct if ( nVars * (nRanks + 1) > dd->size ) |