diff options
Diffstat (limited to 'src/sat/bmc/bmcFx.c')
| -rw-r--r-- | src/sat/bmc/bmcFx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcFx.c b/src/sat/bmc/bmcFx.c index 5482dcd3..09517c26 100644 --- a/src/sat/bmc/bmcFx.c +++ b/src/sat/bmc/bmcFx.c @@ -106,7 +106,7 @@ static inline Vec_Int_t * Tab_TabFindBest( Tab_Tab_t * p, int nDivs ) } static inline int Tab_Hash( int LitA, int LitB, int LitC, int Func, int Mask ) { - return (LitA * 50331653 + LitB * 100663319 + LitC + 201326611 + Func * 402653189) & Mask; + return (LitA * 50331653 + LitB * 100663319 + LitC * 201326611 + Func * 402653189) & Mask; } static inline void Tab_TabRehash( Tab_Tab_t * p ) { |