From d9a0b66973ca24a6242fa0dfcb8e53a7c74c528e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 16 Mar 2026 03:01:09 +0000 Subject: [PATCH] fix warnings --- src/algos/simplex/tests/test_simplex.real.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/algos/simplex/tests/test_simplex.real.ml b/src/algos/simplex/tests/test_simplex.real.ml index 341d2d6f..ee1be3bf 100644 --- a/src/algos/simplex/tests/test_simplex.real.ml +++ b/src/algos/simplex/tests/test_simplex.real.ml @@ -124,8 +124,8 @@ module Step = struct | [] -> [] | vs -> let gen = - let+ x = oneofl vs - and+ kind = oneofl [ `Leq; `Lt; `Geq; `Gt ] + let+ x = oneof_list vs + and+ kind = oneof_list [ `Leq; `Lt; `Geq; `Gt ] and+ n = rand_q.QC.gen in ( vars, match kind with @@ -145,11 +145,11 @@ module Step = struct (if List.length vars > 2 then ( let v = List.length vars in let gen = - let* vars' = G.shuffle_l vars in + let* vars' = shuffle_list vars in let* n = 1 -- min 12 (List.length vars') in let vars' = CCList.take n vars' in assert (List.length vars' = n); - let* coeffs = list_repeat n rand_q.gen in + let* coeffs = list_size (return n) rand_q.gen in let le = List.combine coeffs vars' in return (v :: vars, S_define (v, le)) in