From 18ce7932e3dba76305dda202b3181763e54c4a50 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Sun, 11 Feb 2018 09:57:53 +0700 Subject: Rename Util.string_of_path to string_of_list since it can be used for any lists, not just config tree paths. Add analogous function for converting a list of strings to JSON. --- src/reference_tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 6f1a9c9..8c8e515 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -155,7 +155,7 @@ let has_illegal_characters name = in the reference tree *) let rec validate_path validators_dir node path = - let show_path p = Printf.sprintf "[%s]" @@ Util.string_of_path (List.rev p) in + let show_path p = Printf.sprintf "[%s]" @@ Util.string_of_list (List.rev p) in let rec aux node path acc = let data = Vytree.data_of_node node in match data.node_type with -- cgit v1.2.3