From 3977073509a33d872bdb22d9a07c5e52ff90463b Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 10 Nov 2025 11:28:16 -0600 Subject: T7988: move function flag to util.ml for general use --- src/reference_tree.ml | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 5107eb8..5df3e99 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -607,13 +607,6 @@ let refpath reftree path = | _, [] -> acc in aux [] path -let flag path = - let len = List.length path in - let aux p i = - Util.drop_last_n p (len - i - 1) - in - List.mapi (fun k _ -> aux path k) path - let set_tag_data rtree ctree path = (* raises: [Vytree.Empty_path], @@ -634,7 +627,7 @@ let set_tag_data rtree ctree path = then (Config_tree.set_tag[@alert "-exn"]) ct p true else ct in - List.fold_left (set_tag rtree) ctree (flag path) + List.fold_left (set_tag rtree) ctree (Util.flag path) let set_leaf_data rtree ctree path = (* raises: -- cgit v1.2.3