diff options
Diffstat (limited to 'src/aig/gia/giaGlitch.c')
| -rw-r--r-- | src/aig/gia/giaGlitch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaGlitch.c b/src/aig/gia/giaGlitch.c index bbc509c4..6da24083 100644 --- a/src/aig/gia/giaGlitch.c +++ b/src/aig/gia/giaGlitch.c @@ -615,7 +615,7 @@ static inline unsigned Gli_ManUpdateRandomInput( unsigned uInfo, float PiTransPr return Aig_ManRandom(0); for ( i = 0; i < 32; i++ ) if ( Multi * (Aig_ManRandom(0) & 0xffff) < PiTransProb ) - uInfo ^= 1; + uInfo ^= (1 << i); return uInfo; } |