diff options
| author | Daniil Baturin <daniil@vyos.io> | 2026-02-12 14:18:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-02-12 14:18:03 +0000 |
| commit | 2c16a5ad7171362d71ff241adab873fa3752b784 (patch) | |
| tree | 67d45be963851b6add87896b22de06d4e6256900 /src | |
| parent | ee86cf713f45d3bcd735440f432b5b7b57a31ca8 (diff) | |
| parent | 85e1ea425c6d9ab2b0ac8bcc01d7d29bafa4b3ad (diff) | |
| download | vyconf-2c16a5ad7171362d71ff241adab873fa3752b784.tar.gz vyconf-2c16a5ad7171362d71ff241adab873fa3752b784.zip | |
Merge pull request #42 from jestabro/config-dict
T8232: Vytree.fold_tree_with_path now returns the second component
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 |