diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/commit.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/commit.ml b/src/commit.ml index ec9c4ef..5db20bf 100644 --- a/src/commit.ml +++ b/src/commit.ml @@ -147,7 +147,7 @@ let get_node_data rt ct src (path, cs') t = in (path, cs) let get_commit_set rt ct src = - snd (VT.fold_tree_with_path (get_node_data rt ct src) ([], CS.empty) ct) + VT.fold_tree_with_path (get_node_data rt ct src) ([], CS.empty) ct (* for initial consistency with the legacy ordering of delete and add queues, enforce the following subtlety: if a path in the delete tree is |