minor

SRI-CSL · Jul 29, 2024 · b8cdc3c · b8cdc3c
1 parent dbfd503
commit b8cdc3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mcsat/options.h b/src/mcsat/options.h
@@ -29,7 +29,7 @@
  */
 typedef struct mcsat_options_s {
   double rand_dec_freq;
-  int32_t rand_dec_seed;
+  double rand_dec_seed;
   bool nra_mgcd;
   bool nra_nlsat;
   bool nra_bound;