diff options
Diffstat (limited to 'src/reference_tree.ml')
| -rw-r--r-- | src/reference_tree.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> |