Merge pull request #2344 from art-w/uuidm

Fix: deprecated Uuidm.v
mirage · Oct 4, 2024 · 7f2d988 · 7f2d988
2 parents 517f133 + 5e19abd
commit 7f2d988
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bench/irmin-pack/bench_common.ml b/bench/irmin-pack/bench_common.ml
@@ -62,7 +62,8 @@ let random_key () = random_string 5
 
 let default_artefacts_dir =
   let ( / ) = Filename.concat in
-  Unix.getcwd () / "_artefacts" / Uuidm.to_string (Uuidm.v `V4)
+  let uuid = Uuidm.v4_gen (Random.State.make_self_init ()) () in
+  Unix.getcwd () / "_artefacts" / Uuidm.to_string uuid
 
 let prepare_artefacts_dir path =
   let rec mkdir_p path =