diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-27 10:10:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-27 10:10:10 -0700 |
| commit | 1dcdba1bee240fe8621f1ad67a093c47a2a852ae (patch) | |
| tree | 4d278f8a60fb089fad1f6a923428d435c8a7be1c /src/misc | |
| parent | 0736f396092b0d15a35ea42ce568c483514b9333 (diff) | |
| download | abc-1dcdba1bee240fe8621f1ad67a093c47a2a852ae.tar.gz abc-1dcdba1bee240fe8621f1ad67a093c47a2a852ae.tar.bz2 abc-1dcdba1bee240fe8621f1ad67a093c47a2a852ae.zip | |
New proof-based abstraction code (bug fix).
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index ec17795e..59c91e53 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -64,7 +64,7 @@ struct Vec_Int_t_ #define Vec_IntForEachEntryTwo( vVec1, vVec2, Entry1, Entry2, i ) \ for ( i = 0; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1); i++ ) #define Vec_IntForEachEntryDouble( vVec, Entry1, Entry2, i ) \ - for ( i = 0; (2*i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, 2*i)), 1) && (((Entry2) = Vec_IntEntry(vVec, 2*i+1)), 1); i += 2 ) + for ( i = 0; (i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1); i += 2 ) //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |