From 03799d0a93e4a7eb5790836f50cb4a1188c360b6 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Fri, 2 Jan 2026 14:45:28 -0600 Subject: T8232: simplify return value of fold_tree_with_path The details do not need to be exposed in the function signature. --- src/reference_tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 81e45cf..d76c480 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -933,7 +933,7 @@ let validate_tree_filter dir rt ct = List.fold_left try_validate (p, (ctree, out)) l' in let tree, out = - snd (Vytree.fold_tree_with_path validate_path_filter ([], (ct, "")) ct) + Vytree.fold_tree_with_path validate_path_filter ([], (ct, "")) ct in tree, out -- cgit v1.2.3