From bc4a3b7d4d593fb35d4df79a7bdc0f376c85a6f4 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Mon, 4 Sep 2023 11:42:47 +0200
Subject: [PATCH] lib_bls12_381_polynomial/tezt: use [Format] to print seed

Also force a flush to ensure the seed is printed before test
execution.

This will hide it from non-debug output
---
 src/lib_bls12_381_polynomial/test/test_main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib_bls12_381_polynomial/test/test_main.ml b/src/lib_bls12_381_polynomial/test/test_main.ml
index 879046d9fef3..f31834b131a9 100644
--- a/src/lib_bls12_381_polynomial/test/test_main.ml
+++ b/src/lib_bls12_381_polynomial/test/test_main.ml
@@ -50,7 +50,7 @@ let () =
                 RANDOM_SEED' in your terminal?"
                v))
   in
-  Printf.printf "Random seed: %d\n" seed ;
+  Format.printf "lib_bls12_381_polynomial random seed: %d%!" seed ;
   Random.init seed ;
   Alcotest.run
     ~__FILE__
-- 
GitLab