Remove split_from_parent

ocaml-multicore · Aug 6, 2024 · 581a520 · 581a520
1 parent 8a668e1
commit 581a520
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml
@@ -39,7 +39,7 @@ struct
     | Get _     -> s
     | Set (i,n) -> List.mapi (fun j x -> if i=j then n else x) s
 
-  let init_sut () = List.init length (fun i -> DLS.new_key ~split_from_parent:(fun x -> x) (fun () -> i))
+  let init_sut () = List.init length (fun i -> DLS.new_key (fun () -> i))
 
   let cleanup _   = ()