From 49dc05b5f38472e17978ef9c64408b3cbcd42d6b Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Fri, 2 May 2025 15:34:36 -0700
Subject: [PATCH] fixes #90

---
 src/polynomial/feasibility_set_int.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/polynomial/feasibility_set_int.c b/src/polynomial/feasibility_set_int.c
index dbd5ae0..b791635 100644
--- a/src/polynomial/feasibility_set_int.c
+++ b/src/polynomial/feasibility_set_int.c
@@ -208,7 +208,7 @@ int lp_feasibility_set_int_contains(const lp_feasibility_set_int_t* set, const l
 void lp_feasibility_set_int_pick_value(const lp_feasibility_set_int_t* set, lp_integer_t* value) {
   assert(!lp_feasibility_set_int_is_empty(set));
   if (!set->inverted) {
-    size_t pos = random() % set->size;
+    size_t pos = rand() % set->size;
     lp_integer_assign(lp_Z, value, set->elements + pos);
   } else {
     lp_integer_construct_from_int(lp_Z, value, 0);