From 581a52048f24e0330714693f052661754649c1f3 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 6 Aug 2024 14:48:36 +0200 Subject: [PATCH] Remove split_from_parent --- src/domain/stm_tests_dls.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml index e99efc12..0d4fa73c 100644 --- 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 _ = ()