From f389a749097d2a265d1ce1b757804af70a7199ba Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Thu, 3 Apr 2025 15:17:00 -0500 Subject: T7302: remove unused commit_store --- src/commit.ml | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'src/commit.ml') diff --git a/src/commit.ml b/src/commit.ml index ba740b5..a735697 100644 --- a/src/commit.ml +++ b/src/commit.ml @@ -169,18 +169,6 @@ let calculate_priority_lists rt diff = let cs_del, cs_add = legacy_order del_tree cs_del' cs_add' in List.rev (CS.elements cs_del), CS.elements cs_add -let commit_store c_data = - let out = - let func acc nd = - match nd.reply with - | None -> acc ^ "\n" - | Some r -> - match r.success with - | true -> acc ^ "\n" - | false -> acc ^ "\n" ^ r.out - in List.fold_left func "" c_data.node_list - in print_endline out - (* The base config_result is the intersection of running and proposed configs: on success, added paths are added; deleted paths are ignored -- cgit v1.2.3