From b8837136f39873663984733080ce006174f957ec Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Fri, 11 Apr 2025 00:23:12 -0500 Subject: T7321: fix bug in split_path which missed tag values --- src/reference_tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index a2c0f22..d39cc96 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -433,7 +433,7 @@ let split_path node path = match child with | Some c -> aux c ps (p' :: p :: acc) | None -> (List.rev acc, None)) - | [_] -> (List.rev acc, None) + | [p] -> (List.rev (p :: acc), None) | _ -> (List.rev acc, None) end | Other -> -- cgit v1.2.3