Convert the other divide to a multiply

berkeley-abc · Sep 3, 2024 · ad8f8a2 · ad8f8a2
1 parent cd71108
commit ad8f8a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c
@@ -60,7 +60,7 @@ static void printlits(lit* begin, lit* end)
 static inline double drand(double* seed) {
     int q;
     *seed *= 1389796;
-    q = (int)(*seed / 2147483647);
+    q = (int)(*seed * 4.6566128752457969e-10); // 1.0/2147483647.0;
     *seed -= (double)q * 2147483647;
     return *seed * 4.6566128752457969e-10; // 1.0/2147483647.0
 }