diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-06-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-06-11 08:01:00 -0700 |
| commit | 3db1557f45b03875a0a0b8adddcc15c4565895d2 (patch) | |
| tree | 2896d20ddcb85ae4aa7245ca28bc585f567fea54 /src/sat/asat/jfront.c | |
| parent | 7d0921330b1f4e789901b4c2450920e7c412f95f (diff) | |
| download | abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.tar.gz abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.tar.bz2 abc-3db1557f45b03875a0a0b8adddcc15c4565895d2.zip | |
Version abc60611
Diffstat (limited to 'src/sat/asat/jfront.c')
| -rw-r--r-- | src/sat/asat/jfront.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/asat/jfront.c b/src/sat/asat/jfront.c index 1def6a37..8e673cc9 100644 --- a/src/sat/asat/jfront.c +++ b/src/sat/asat/jfront.c @@ -95,7 +95,7 @@ static void Asat_JRingRemove( Asat_JMan_t * p, Asat_JVar_t * pVar ); // iterator through the adjacent variables #define Asat_JVarForEachFanio( p, pVar, pFan, i ) \ - for ( i = 0; (i < pVar->nFans) && (((pFan) = Asat_JManVar(p, pVar->Fans[i])), 1); i++ ) + for ( i = 0; (i < (int)pVar->nFans) && (((pFan) = Asat_JManVar(p, pVar->Fans[i])), 1); i++ ) extern void Asat_JManAssign( Asat_JMan_t * p, int Var ); @@ -223,7 +223,7 @@ int Asat_JManCheck( Asat_JMan_t * p ) // assert( i != pVar->nFans ); // if ( i == pVar->nFans ) // return 0; - if ( i == pVar->nFans ) + if ( i == (int)pVar->nFans ) Counter++; } if ( Counter > 0 ) |