diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 23:53:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 23:53:42 -0700 |
| commit | 2c37498bfb297c00e9b5eee8472acc134d9aba73 (patch) | |
| tree | 06d386b7965bae00ee474003841e35d5d7424072 /src/misc/mvc/mvc.h | |
| parent | a07c08551db0f6d5bea8e8a442c1d2ac7dc62afd (diff) | |
| download | abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.tar.gz abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.tar.bz2 abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.zip | |
Compiler warnings.
Diffstat (limited to 'src/misc/mvc/mvc.h')
| -rw-r--r-- | src/misc/mvc/mvc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/mvc/mvc.h b/src/misc/mvc/mvc.h index 5b9a574f..c321259c 100644 --- a/src/misc/mvc/mvc.h +++ b/src/misc/mvc/mvc.h @@ -552,7 +552,7 @@ struct MvcManagerStruct // iterator through literals of the cube #define Mvc_CubeForEachBit( Cover, Cube, iBit, Value )\ for ( iBit = 0;\ - iBit < Cover->nBits && ((Value = Mvc_CubeBitValue(Cube,iBit))>=0);\ + iBit < Cover->nBits && ((Value = Mvc_CubeBitValue(Cube,iBit)), 1);\ iBit++ ) // iterator through values of binary variables #define Mvc_CubeForEachVarValue( Cover, Cube, iVar, Value )\ |