diff options
Diffstat (limited to 'src/aig/gia/giaIso.c')
| -rw-r--r-- | src/aig/gia/giaIso.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c index 8a2b74c8..fcb7f363 100644 --- a/src/aig/gia/giaIso.c +++ b/src/aig/gia/giaIso.c @@ -511,7 +511,7 @@ void Gia_IsoSimulateBack( Gia_IsoMan_t * p, int Iter ) ***********************************************************************/ void Gia_IsoAssignOneClass2( Gia_IsoMan_t * p ) { - int i, iBegin, nSize = -1; + int i, iBegin = -1, nSize = -1; // find two variable class assert( Vec_IntSize(p->vClasses) > 0 ); Vec_IntForEachEntryDouble( p->vClasses, iBegin, nSize, i ) |