diff options
Diffstat (limited to 'src/map/if/ifDelay.c')
-rw-r--r-- | src/map/if/ifDelay.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index d5a31850..f2e8399a 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -245,7 +245,7 @@ word If_AigVerifyArray( Vec_Int_t * vAig, int nLeaves, int fCompl ) } else { - word Truth0, Truth1, TruthR; + word Truth0 = 0, Truth1 = 0, TruthR; int i, iVar0, iVar1, iLit0, iLit1; assert( Vec_IntSize(vAig) & 1 ); Vec_IntForEachEntryDouble( vAig, iLit0, iLit1, i ) |