diff options
Diffstat (limited to 'lib/kernel/Path.ml')
| -rw-r--r-- | lib/kernel/Path.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml index db3d17d..8e7eab0 100644 --- a/lib/kernel/Path.ml +++ b/lib/kernel/Path.ml @@ -73,11 +73,7 @@ let update handle path key reference value = let split changes = let here, below = List.partition (fun (path, _, _) -> path = []) changes in let segments = - List.fold_left - (fun segments (path, _, _) -> - let x = List.hd path in - if List.mem x segments then segments else segments @ [x] ) - [] below + List.sort_uniq String.compare (List.map (fun (path, _, _) -> List.hd path) below) in let beneath x = List.filter_map |