Typo in hash function.

03cd22af · Alan Mishchenko · 57a6f016 · 03cd22af
Commit 03cd22af authored Apr 02, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/bmc/bmcFx.c
+1 -1

No files found.
--- 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 )
 {