diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:20:18 -0700 |
| commit | 8c369788b310a8a1aa52a937c94df1327e13417a (patch) | |
| tree | 08d66b18c92a9b96992c9b8ef5985bfe49fdb2a6 /src/bool | |
| parent | 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 (diff) | |
| download | abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.gz abc-8c369788b310a8a1aa52a937c94df1327e13417a.tar.bz2 abc-8c369788b310a8a1aa52a937c94df1327e13417a.zip | |
Improvements to the NPN semi-canonical form computation package.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/lucky/luckySimple.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/lucky/luckySimple.c b/src/bool/lucky/luckySimple.c index 52e5e13d..c38fc28c 100644 --- a/src/bool/lucky/luckySimple.c +++ b/src/bool/lucky/luckySimple.c @@ -87,7 +87,7 @@ int oneBitPosition(int x, int size) { int i; for(i=0;i<size;i++) - if((x>>i)&1 == 1) + if((x>>i)&1) return i; return -1; } |